update for latest version of quickcheck