ocio theme fixes