More typos and formatting