diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index 5907e2d9e..c6787eff4 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -100,7 +100,8 @@ will be flushed everytime it's executed."
                                `(,target-file-name)))
          (p (apply 'start-process process-args)))
     (set-process-coding-system p 'utf-8 'utf-8)
-    (set-process-query-on-exit-flag p nil)))
+    (set-process-query-on-exit-flag p nil)
+    (display-buffer process-buffer-name)))
 
 (defun lean-std-exe ()
   (interactive)