Make it work with latest QuickCheck.