Fixed a document title mistake