Other minor improvements to the text.