some typos and formatting fixed