Unbreak quickcheck.