Minor bugs in threes-solver.cc