minor changes in the text