coding style tweak