minor revisions of style