Fix some typos

Actually the whitespace is added correctly here, look at the code that does it.