Merge "Fix a copy-paste documentation typo."