fix typo
Merge pull request #5438