fix minor style bugs