make minor improvements to clarity and formatting.