Minor update in coloring