Handling EOF token