Allow QuickCheck 2.5