minor style issue