Minor stylistic change.