Fix typo in comment
Merge pull request #8300 from cvrebert/patch-2

Fix typo in comment