Index: trunk/FACT++/src/Configuration.h
===================================================================
--- trunk/FACT++/src/Configuration.h	(revision 12314)
+++ trunk/FACT++/src/Configuration.h	(revision 12315)
@@ -178,5 +178,8 @@
     bool HasDef(const std::string &var, const T &val)
     {
-        return Has(var, val) ? true : Has(var+"default");
+        // Make sure the .default option is touched
+        const bool rc = Has(var+"default");
+
+        return Has(var, val) ? true : rc;
     }
 /*