fix small bug in gui