a bunch of typos and little style fixes