Some corrections in the document