Minor correction to Solver object