Explain EOF behavior in File.eof().

Fies #16239.
missing backtick