minor style changes.: