Typo and cosmetic fixes

Various typo fixes, wording unifications, and cosmetic changes.