solveset fix docstring