typos and style tweaks