Update coloring.js