Some typos ...