Don't run all of the doctests twice