workaround some problem with solarized theme