Changing to QuickCheck2