small typo fix in documentation