Fix some doctests typo