Minor GUI fix.