Make tests work with older versions of QuickCheck