bugfix in GUI

reported by Jan Garrevoet