minor stylistic change.