fixed some mistakes in the document