diff --git a/Packages/Installation/changes.txt b/Packages/Installation/changes.txt
index ec8d810b37e..7df6e0a0ff2 100644
--- a/Packages/Installation/changes.txt
+++ b/Packages/Installation/changes.txt
@@ -7,6 +7,7 @@
 //	actual revision
 //---------------------------------------------------------------------
 
+GLOB: OOPS, fixed _LEDA config/install stuff.
 GLOB: Recognize existing _LEDA config/install files.
 GLOB: The _LEDA suffix is now part of the config/install file as well.
 GLOB: Run the compiler tests when it becomes necessary only.
diff --git a/Packages/Installation/long_description.txt b/Packages/Installation/long_description.txt
index 6c276f88b69..bcfca84d26c 100644
--- a/Packages/Installation/long_description.txt
+++ b/Packages/Installation/long_description.txt
@@ -3,6 +3,12 @@
 //=====================================================================
 
 
+//---------------------------------------------------------------------
+//	revision 1.112
+//---------------------------------------------------------------------
+
+GLOB: OOPS, fixed _LEDA config/install stuff.
+
 //---------------------------------------------------------------------
 //	revision 1.111
 //---------------------------------------------------------------------