Minor fixes to BasicGUI.