Correct the quickCheck call.