Fixed small error in Solver recommit