Correct typo in comment
Merge pull request #8139 from eschnett/typo

Correct typo in comment