fixes problem with the solver