Replying to "Possible typo in documentation"