diff --git a/coq-gaia-ordinals.opam b/coq-gaia-ordinals.opam
index 9333e4f..7f92567 100644
--- a/coq-gaia-ordinals.opam
+++ b/coq-gaia-ordinals.opam
@@ -26,7 +26,7 @@ tags: [
   "category:Mathematics/Arithmetic and Number Theory/Number theory"
   "keyword:ordered sets"
   "keyword:ordinal arithmetic"
-  "keyword:ordinals"
+  "keyword:ordinal numbers"
   "keyword:cardinal numbers"
   "logpath:gaia.ordinals"
 ]
diff --git a/coq-gaia-schutte.opam b/coq-gaia-schutte.opam
index 641b980..0a2295d 100644
--- a/coq-gaia-schutte.opam
+++ b/coq-gaia-schutte.opam
@@ -22,7 +22,7 @@ depends: [
 tags: [
   "category:Mathematics/Arithmetic and Number Theory/Number theory"
   "keyword:ordinal arithmetic"
-  "keyword:ordinals"
+  "keyword:ordinal numbers"
   "logpath:gaia.schutte"
 ]
 authors: [
diff --git a/coq-gaia-stern.opam b/coq-gaia-stern.opam
index c78ef07..bc7e4b5 100644
--- a/coq-gaia-stern.opam
+++ b/coq-gaia-stern.opam
@@ -22,7 +22,7 @@ depends: [
 
 tags: [
   "category:Mathematics/Arithmetic and Number Theory/Number theory"
-  "keyword:stern-brocot"
+  "keyword:Stern-Brocot"
   "keyword:fibonacci numbers"
   "logpath:gaia.stern"
 ]
diff --git a/meta.yml b/meta.yml
index 3672da4..d2f99a6 100644
--- a/meta.yml
+++ b/meta.yml
@@ -102,7 +102,7 @@ namespace: gaia
 keywords:
 - name: Bourbaki
 - name: set theory
-- name: ordinals
+- name: ordinal numbers
 - name: cardinals
 
 categories: