Minor coding style change.