some custom coloring related to #192