Small improvements to the text.