Fix a documentation typo error