Change one last hard-coded document name to config.get_doc_name()