Without this change, consuming at eof following by reconsuming willincorrectly return the value before eof, not eof.