Typos are bad, especially in textbooks