solarized theme fix