minor formatting and style changes