minor formatting edits...