BUGFIX: incorrect name on solvers' helpers/outputs