Minor tweaking of the GUI