Some minor stylistic changes.