fix cs of #4490 : eof_ending

ping @ralphschindler #4490