Fix some typos, formatting