1 files changed, 2 insertions, 2 deletions

diff --git a/src/keyboard.c b/src/keyboard.c
index 4f2f2b816d0..2f448606464 100644
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -7261,8 +7261,8 @@ DEFUN ("execute-extended-command", Fexecute_extended_command, Sexecute_extended_
 
   /* If the command has a key binding, print it now.  */
   if (!NILP (bindings)
-      && ! (ARRAYP (bindings)
-            && EQ (Faref (Voverriding_local_map, bindings), Qmouse_movement)))
+      && ! (VECTORP (bindings) && EQ (Faref (bindings, make_number (0)),
+                                      Qmouse_movement)))
     {
       /* But first wait, and skip the message if there is input.  */
       if (!NILP (Fsit_for ((NUMBERP (Vsuggest_key_bindings)