Some more changes in the text.