minor GUI fix