Minor improvements in the GUI.