Typos and style fixes