rectify some style issues again...