minor style changes