diff --git a/coq-comp-dec-modal.opam b/coq-comp-dec-modal.opam
index 877fa8a..635bbf2 100644
--- a/coq-comp-dec-modal.opam
+++ b/coq-comp-dec-modal.opam
@@ -38,7 +38,7 @@ depends: [
 ]
 
 tags: [
-  "category:Computer Science/Modal Logic"
+  "category:Mathematics/Logic/Modal logic"
   "keyword:modal logic"
   "keyword:completeness"
   "keyword:decidability"
diff --git a/meta.yml b/meta.yml
index f5a1ead..e0c7eb8 100644
--- a/meta.yml
+++ b/meta.yml
@@ -101,7 +101,7 @@ keywords:
 - name: propositional dynamic logic
 
 categories:
-- name: Computer Science/Modal Logic
+- name: Mathematics/Logic/Modal logic
 
 coqdoc_index: "docs/latest/coqdoc/toc.html"