Fixed some typos found by students.