fix get_doc_name