is that commensurate with the EOFException above?