minor corrections in the text