Correct a documentation typo