minor tweaks, typos