Misc typos and style fixes