fixed a minor style issue