Misc typos and formatting