diff --git a/coq-mathcomp-classical.opam b/coq-mathcomp-classical.opam
index 4de111457..10457aac8 100644
--- a/coq-mathcomp-classical.opam
+++ b/coq-mathcomp-classical.opam
@@ -24,8 +24,8 @@ depends: [
 ]
 
 tags: [
-  "category:Mathematics/Classical Logic"
-  "keyword:classical"
+  "category:Mathematics/Logic/Classical logic"
+  "keyword:classical logic"
   "keyword:logic"
   "keyword:sets"
   "keyword:set theory"