diff --git a/text/052-platform-release-cycle.md b/text/052-platform-release-cycle.md
index ad89fb3d..b790ed16 100644
--- a/text/052-platform-release-cycle.md
+++ b/text/052-platform-release-cycle.md
@@ -186,7 +186,7 @@ It's essentially the Ubuntu scheme:
 - YYYY.MM plays the role of a major version, as in Coq's 8.13
 - YYYY.MM.0,  YYYY.MM.1 ... play the role of point releases, as Coq's 8.13.0 ..
 
-Hence, it is not YYYY.MM.DD byt rather YYYY.MM.XX.
+Hence, it is not YYYY.MM.DD but rather YYYY.MM.XX.
 
 # Drawbacks