add EOF token