fixed a minor style thing