allow QuickCheck 2.6