misc tweaks, typos and clarifications.