Updated EOFerror type