Format normalizations, typo fixes, and clarification edits