The doctests require a newer QuickCheck version