small GUI bugfix