Minor improvements in GUI.