Fix typo
Merge pull request #3642 from mspacek/docs

Fix typo in docs