Fix typo in docs
Merge pull request #6037 from jzwinck/patch-2

Fix typo in docs