Small fix in GUI.