cope with QuickCheck 2.7 API change

This should fix #3