Index: trunk/FACT++/src/Configuration.cc
===================================================================
--- trunk/FACT++/src/Configuration.cc	(revision 12334)
+++ trunk/FACT++/src/Configuration.cc	(revision 12335)
@@ -926,5 +926,7 @@
 //!         from the path corresponding to the argument given in the
 //!         constructor + "/fact++.rc", unrecognized options are always
-//!         allowed.
+//!         allowed. Note that in contradiction to all other options
+//!         the options in this file are not checked at all. Hence,
+//!         typos might stay unnoticed.
 //!  - (6)  Read and parse the default configuration file, which is either
 //!         given by the default name or the \b --default command-line