minor typos and stylistic changes