Fix quickcheck-ci