diff --git a/src/emacs/lean-info.el b/src/emacs/lean-info.el
index 4ba762f77..010b89b13 100644
--- a/src/emacs/lean-info.el
+++ b/src/emacs/lean-info.el
@@ -663,8 +663,8 @@ Take out \"BEGININFO\" and \"ENDINFO\" and Use \"ACK\" as a delim."
   "Return the full-name at point (if any)"
   (lean-get-info-record-at-point
    (lambda (info-record)
+     (lean-server-debug "executing continuation for get-full-name-at-point")
      (funcall cont
-              (lean-server-debug "executing continuation for get-full-name-at-point")
               (lean-get-full-name-at-point-cont info-record)))))
 
 (provide 'lean-info)