Fixing small typo in documentation