An OS X specific minor GUI fix.