Another small fix to the solver.