Did some corrections in the text