a little code style change.