minor style changes;