Removed faked end of file token and actually using real (apparently implicit) EOF token