Fix a document format issue