fixing typo in doctest