Minor change.

stylistic, mostly.