fix TYPO in documentation