1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL
index 595fc606b..2b387b017 100644
--- a/INSTALL
+++ b/INSTALL
@@ -161,7 +161,7 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS).
    in you .emacs file:
 
         (setq auto-mode-alist (cons '("\\.v$" . coq-mode) auto-mode-alist))
-        (autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t)
+        (autoload 'coq-mode "gallina" "Major mode for editing Coq vernacular." t)
 
 7- You can now clean all the sources. (You can even erase them.)