Fixed #8089: Faulty token table definition