Release build fix: silence warning about unused variable.