Wrote an EOF token that makes the whole thing work