minor fixes to GUI