Fix the QuickCheck incompatibility