diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el
index 6fc93bef9..abed40316 100644
--- a/src/emacs/lean-server.el
+++ b/src/emacs/lean-server.el
@@ -41,7 +41,7 @@
 ;; How to read data from an async process
 ;; ======================================
 (defconst lean-server-syntax-pattern
-  `((INFO ,(rx line-start "-- BEGININFO" line-end)
+  `((INFO ,(rx line-start "-- BEGININFO" (* not-newline) line-end)
           ,(rx line-start (group "-- ENDINFO") line-end))
     (SET  ,(rx line-start "-- BEGINSET"  line-end)
           ,(rx line-start (group "-- ENDSET")  line-end))