small fixes to Solvers