Some typos in textbook