Fixed small error in Solver.