minor tweaks/typos