minor tweaks and typo corrections