Fix a bug with SolverError.