Minor fixes in the text.