diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index 6bfe5195a..5f0a79aa1 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -87,7 +87,7 @@
              (when (bound-and-true-p company-mode)
                (company-mode -1))
              (add-hook 'completion-at-point-functions
-                       (cape-company-to-capf 'company-coq)
+                       (cape-company-to-capf 'company-coq-master-backend)
                        nil t)))
          (defadvice! +coq--proof-goto-point-advice (&rest _)
            :override #'company-coq--proof-goto-point-advice