Minor wording and cosmetic tweaks.