FIL/DOC: rename file for a more functional statement