Typos and style tweaks