various minor formatting edits