Fixed a formatting issue in the document-file