1 files changed, 1 insertions, 1 deletions

diff --git a/src/keyboard.c b/src/keyboard.c
index b8025a11b14..c4d49020676 100644
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -4485,7 +4485,7 @@ modify_event_symbol (symbol_num, modifiers, symbol_kind, name_alist,
         }
 
       if (CONSP (*symbol_table))
-        *symbol_table = Fcons (value, *symbol_table);
+        *symbol_table = Fcons (Fcons (symbol_int, value), *symbol_table);
       else
         XVECTOR (*symbol_table)->contents[symbol_num] = value;