fix small typo in documentation