bugfix in GUI.pro