minor formatting revisions