now at least the quickcheck tests run again