1 files changed, 2 insertions, 2 deletions
diff --git a/coq/coq.el b/coq/coq.el
index 45931ac3..3cefd123 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -14,8 +14,8 @@
 (setq tag-always-exact t) ; Tags is unusable with Coq library otherwise:
 
 (defgroup coq-settings nil
-  "Customization of Coq specific settings for proof mode."
-  :group 'proof)
+  "Customization of Coq specific settings for Proof General."
+  :group 'proof-general)
 
 (defvar coq-assistant "Coq"
   "Name of proof assistant")