Compatibility with QuickCheck >= 2.5.1 (see #166)