Index: trunk/FACT++/src/Configuration.cc
===================================================================
--- trunk/FACT++/src/Configuration.cc	(revision 16090)
+++ trunk/FACT++/src/Configuration.cc	(revision 16091)
@@ -759,5 +759,5 @@
 void Configuration::PrintUnknown() const
 {
-    if (fUnknownCommandline.size())
+    if (!fUnknownCommandline.empty())
     {
         cout << "Unknown commandline options:" << endl;
@@ -765,5 +765,5 @@
     }
 
-    if (fUnknownConfigfile.size())
+    if (!fUnknownConfigfile.empty())
     {
         cout << "Unknown options in configfile:" << endl;
@@ -771,5 +771,5 @@
     }
 
-    if (fUnknownEnvironment.size())
+    if (!fUnknownEnvironment.empty())
     {
         cout << "Unknown environment variables:" << endl;
@@ -777,5 +777,5 @@
     }
 
-    if (fUnknownDatabase.size())
+    if (!fUnknownDatabase.empty())
     {
         cout << "Unknown database entry:" << endl;