Some minor style changes