Minor bugfix in gl_lost_manager