handle EOF token.