Very tiny typo fix [ci skip]
Merge pull request #13219 from robin850/patch-11

Very tiny typo fix [ci skip]