Fixed a small bug preventing the default number of solutions from being enforced properly.