Fix QuickCheck-GenT