doc_file uncommented