Fixing a minor bug in document_converter.