Merge "Fix typo in documentation"