Minor improvements to the GUI.