diff --git a/Changelog.md b/Changelog.md
index 97e17a484..177dad5eb 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -30,9 +30,9 @@ Supporting libraries:
 
 Coq development:
 - Support Coq 8.20.
-- Install `.glob` and `.v` files along `.vo` files.
 - Build: support TIMING and PROFILING like `coq_makefile`. (#512)
 - Make dependency on `Extraction` explicit. (#515)
+- Install `.glob` and `.v` files along `.vo` files. (#527)
 
 
 # Release 3.14, 2024-05-02