typos and formatting fixes