fix finish_solvable do not rely on a "handle" argument, as the handle might have...