Fix the QuickCheck incompatibility issue