fixed solarized theme problem