minor bug in color-theme setup