correct yet another bug in output_manager.cpp