Made some corrections in the document