fixup! Adding quickcheck support