fix cs of #4490 : eof_ending