Minor grammatical tweaks, editing for clarity, shorten some sentences.