Polishing a GUI a bit