Bugfix in gui