Some typos and style changes