Bug fix in GraphColoring