tiny fix
new eof handler