fix a minor bug in GUI