Fix typos pointed out by Jilles.