EndOfFileException really belongs to file, not exception