add missing exit_eof