Documenting def_EOF

The least I could do after all my questions :)