Minor textual tweaks, corrections, and clarifications