diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index 7487ee9f2..da7283ac6 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -6,8 +6,7 @@
 (setq coq-mode-abbrev-table '())
 
 (after! company-coq
-  (set-popup-rules!
-    '(("^\\*\\(response\\|goals\\)\\*" :ignore t)))
+  (set-popup-rule! "^\\*\\(?:response\\|goals\\)\\*" :ignore t)
   (set-lookup-handlers! 'company-coq-mode
     :definition #'company-coq-jump-to-definition
     :references #'company-coq-grep-symbol