Small tweak to GUI.