made minor style changes