various typos and formatting fixes