fix some coding style