Fix for latest QuickCheck