fix minor style issue