minor style changes, probably none