Some changes in the text.