Some textual tweaks, and fixed a few typos found by a spell checker.