Minor coding style fix.