Fix minor typo in docs
Merge pull request #6806 from robertd/fix-typo-in-docs

Fix minor typo in docs