Made minor style changes.