Misc. improvements in GUI.