mostly typos, but one logical clarification fix.