minor formatting and comment changes