Minor coding style tweak.