minor style changes
pushing