minor corrections (typos)

and a few stylistic changes