Typos and formatting fixes