fix typo
Merge pull request #5336