small fix in GenuineSolver