A few bug fixes
Fixed a few typos in coloring