Small windowing bug in the GUI.