minor color-theme issue