Fix for QuickCheck < 2.6