fix explanation of solvers