fix doctest typo