made some minor style changes