Minor updates to coloring