Fix some coding style