Fix Solarized-ocean