minor style change.

minor style change.