Agree. For consistency, it should be EOFException.