many minor formatting edits