minor aesthetic revisions