Ensure that color-theme is properly initialized