minor stylistic revisions