Æsthetical touchups and typo fixes. No code or functionality changed.