minor stylistic changes.