diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index 518c08d9d..fc2b0b85e 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -1,7 +1,7 @@
 ;;; lang/coq/config.el -*- lexical-binding: t; -*-
 
-(after! coq
-  (setq proof-electric-terminator-enable t))
+;; `coq'
+(setq proof-electric-terminator-enable t)
 
 (after! company-coq
   (set-lookup-handlers! 'company-coq-mode