Minor improvements to phrasing and explanations.