Some corrections to the text