minor GUI bugfixes