Typo fix; more doctests