Really minor style changes.