corrections to coloring.Solver.localSearch()