Terminals are tokens

The terminology is slightly non-standard, but I think this is a typo.