minor GUI fix.