Minor changes of the GUI