Minor formatting edits;