Allow compatibility with QuickCheck 2.6