menhir now ignores strings after the token name