Update for latest quickcheck