Another minor style change.