Minor corrections to the documents

Minor corrections to the documents.