Some typos and minor spacings