Fix a few typos [ci skip]

This is a follow up to 545afc15.