Stupid bug in GUI.