diff --git a/THANKS b/THANKS
index 06ee9edd..5da4deff 100644
--- a/THANKS
+++ b/THANKS
@@ -106,6 +106,7 @@ Ralf Wildenhues           Ralf.Wildenhues@gmx.de
 Richard Stallman          rms@gnu.org
 Rob Vermaas               rob.vermaas@gmail.com
 Robert Anisko             anisko_r@epita.fr
+Roland Levillain          roland@lrde.epita.fr
 Satya Kiran Popuri        satyakiran@gmail.com
 Sebastian Setzer          sebastian.setzer.ext@siemens.com
 Sebastien Fricker         sebastien.fricker@gmail.com
diff --git a/src/muscle-tab.c b/src/muscle-tab.c
index 7a112045..86363f50 100644
--- a/src/muscle-tab.c
+++ b/src/muscle-tab.c
@@ -399,6 +399,7 @@ muscle_percent_variable_update (char const *variable, location variable_loc)
     {
       { "api.push_pull", "api.push-pull", },
       { "api.tokens.prefix", "api.token.prefix", },
+      { "lex_symbol", "api.token.constructor", },
       { "location_type", "api.location.type", },
       { "lr.default-reductions", "lr.default-reduction", },
       { "lr.keep-unreachable-states", "lr.keep-unreachable-state", },