made a few very minor style changes