Minor coding style fix