fix up coding style