diff --git a/Changelog.md b/Changelog.md
index aa1780c68..39ce8a438 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,6 +1,6 @@
 # Changelog
 
-## [1.19.2] - 12/10/2023
+## [1.19.3] - 12/10/2023
 
 Requires Elpi 1.16.5 and Coq 8.18.