Bugfix for color-theme loading.