fix some coding style problems