typos and style fixes.