minor typos and reformatting