diff --git a/emacs/lsp-dafny.el b/emacs/lsp-dafny.el
index 1cd0242..afc2837 100644
--- a/emacs/lsp-dafny.el
+++ b/emacs/lsp-dafny.el
@@ -299,7 +299,7 @@ TAGS are ignored."
 
 (defun lsp-dafny--handle-/compilation/status (_workspace msg)
   "Handle the dafny/compilation/status notification MSG."
-  (pcase-let (((dafny:compilation/progress :uri :status :message) msg))
+  (pcase-let (((lsp-interface dafny:compilation/progress :uri :status :message) msg))
     (with-current-buffer (-> uri lsp--uri-to-path find-file-noselect)
       (setq-local
        lsp-dafny--verification-status
@@ -454,7 +454,7 @@ Prefix each line with INDENT."
 (defun lsp-dafny--counterexamples-cleanup-variables (counterexamples)
   "Clean up variable types in COUNTEREXAMPLES."
   ;; FIXME: Move this to the server?
-  (pcase-dolist ((dafny:counterexample :variables) counterexamples)
+  (pcase-dolist ((lsp-interface dafny:counterexample :variables) counterexamples)
     (pcase-dolist (`(,var . ,val) (ht->alist variables))
       (let ((var_ (lsp-dafny--counterexamples-cleanup-1 var))
             (val_ (lsp-dafny--counterexamples-cleanup-1 val)))
@@ -465,7 +465,7 @@ Prefix each line with INDENT."
 
 (defun lsp-dafny--counterexamples-render-one (cx)
   "Create an overlay for one counter example CX and return it."
-  (pcase-let* (((dafny:counterexample :position :variables) cx)
+  (pcase-let* (((lsp-interface dafny:counterexample :position :variables) cx)
                (pt (lsp--position-to-point position)))
     (goto-char pt)
     (let* ((bol (progn (beginning-of-line) (point)))