typo corrections in doctests