Fixes #53 (includes <EOF> as token)