Fix bug with MacOSX solarized theme