small typo
Merge pull request #8651 from flisky/patch-1

fix a small typo