A few improvements to clarity.