fix typo
Merge pull request #5958