Eof: make corrections
Eof: make corrections
Eof: clarify the final example