Update quickCheck