some minor style changes added