Small coding style tweak