Fix some typos

The artifact on the last line is not deliberate. I am using the Github web interface so encoding is assumed to be OK.