Minor amendments to documents

Minor amendments to documents.