fix typos
Merge pull request #5042