Update for quickcheck tests