correction of end of file element