diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el
index db4c14aeca..25a3a9b2a7 100644
--- a/src/emacs/lean-server.el
+++ b/src/emacs/lean-server.el
@@ -226,11 +226,11 @@ least the following keys:
             (let ((beg (point)))
               (forward-line 1)
               (cons beg (point))))
-        (forward-char bc)
+        (ignore-errors (forward-char bc))
         (let ((beg (point)))
           (goto-char (point-min))
           (forward-line el)
-          (forward-char ec)
+          (ignore-errors (forward-char ec))
           (cons beg (point)))))))
 
 (defface lean-server-task-face