diff --git a/emacs/lean-mode.el b/emacs/lean-mode.el
index ced868f95..e95eb272f 100644
--- a/emacs/lean-mode.el
+++ b/emacs/lean-mode.el
@@ -12,7 +12,9 @@
   '("\\.lean$")                    ;; files for which to activate this mode
   '((lambda()
       (set-input-method "Lean")
-      (abbrev-mode 1)))
+      (set (make-local-variable 'lisp-indent-function)
+           'common-lisp-indent-function)
+      ))
   "A mode for Lean files"          ;; doc string for this mode
   )