Formatting fixes; clarified language