Fixing a bug in document_converter