add EOF, bugfix