Fix typos
Merge pull request #4660 from jojosch/fix-typos

Fix typos