minor style change.