minor style revisions