Some typos and style improvements