Correct another bug in output_manager.cpp