minor GUI behaviour changes