Tiny typo
Merge pull request #5761 from gravis/patch-2

Tiny typo