fix doc typo
Merge pull request #10135 from pille/patch-3

fix doc typo