Update quickcheck