Compatibility with QuickCheck 2.5.1