Minor coding style update