Minor formatting, typo edits