Some typo fixes, pointed out by James Benson