fixed minor bug in GUI