Some typos and style corrections.