Some typos and formats edited