eof instead of end