Small fix for test_as_gui_server