Really update quickcheck.