minor style changes to previous commit