Fix doc typo
Merge pull request #3568 from mspacek/patch-1

Fix doc typo