fix a minor style issue