does this red thing represent a missing eof char?