Fixed internal error when skipping doctests.