some minor tweaks, fixes for typos, and a clarification