change the doctests so quickcheck can be invoked with different arguments