Editing: file_header.txt