minor formatting & style changes