diff --git a/src/GUI/new_gui.cxx b/src/GUI/new_gui.cxx
index 4975b193f..864352b1a 100644
--- a/src/GUI/new_gui.cxx
+++ b/src/GUI/new_gui.cxx
@@ -323,6 +323,8 @@ NewGUI::readDir (const SGPath& path)
       cache->stampCacheFile(xmlPath);
       cache->writeStringProperty(xmlPath.str(), name);
     } // of directory children iteration
+  
+    txn.commit();
 }
 ////////////////////////////////////////////////////////////////////////
 // Style handling.
diff --git a/src/Input/FGDeviceConfigurationMap.cxx b/src/Input/FGDeviceConfigurationMap.cxx
index 73e9afd05..d62a32f9e 100644
--- a/src/Input/FGDeviceConfigurationMap.cxx
+++ b/src/Input/FGDeviceConfigurationMap.cxx
@@ -117,6 +117,8 @@ void FGDeviceConfigurationMap::scan_dir(const SGPath & path)
       } // of cached file stamp is valid
     } // of child is a file with '.xml' extension
   } // of directory children iteration
+  
+  txn.commit();
 }
 
 void FGDeviceConfigurationMap::readCachedData(const SGPath& path)