Small stylistic change.