fix some style problems