Another style change.

This just a small change.