Index: /trunk/FACT++/src/HeadersFTM.cc
===================================================================
--- /trunk/FACT++/src/HeadersFTM.cc	(revision 10766)
+++ /trunk/FACT++/src/HeadersFTM.cc	(revision 10767)
@@ -96,5 +96,22 @@
 {
     out << std::hex;
-    out << "General settings:  " << fGeneralSettings << endl;
+    out << "General settings: ";
+    if (IsEnabled(kTrigger))
+        out << " Trigger";
+    if (IsEnabled(kPedestal))
+        out << " Pedestal";
+    if (IsEnabled(kLPint))
+        out << " LPint";
+    if (IsEnabled(kLPext))
+        out << " LPext";
+    if (IsEnabled(kExt1))
+        out << " Ext1";
+    if (IsEnabled(kExt2))
+        out << " Ext2";
+    if (IsEnabled(kVeto))
+        out << " Veto";
+    if (IsEnabled(kClockConditioner))
+        out << " ClockCond";
+    out << " (" << fGeneralSettings << ")" << endl;
     out << "Status LEDs:       " << fStatusLEDs << endl;
     out << std::dec;
Index: /trunk/FACT++/src/HeadersFTM.h
===================================================================
--- /trunk/FACT++/src/HeadersFTM.h	(revision 10766)
+++ /trunk/FACT++/src/HeadersFTM.h	(revision 10767)
@@ -234,5 +234,5 @@
 		fGeneralSettings &= ~uint16_t(type); }
 
-        bool IsEnabled(GeneralSettings type)  { return fGeneralSettings&uint16_t(type); }
+        bool IsEnabled(GeneralSettings type) const { return fGeneralSettings&uint16_t(type); }
 
         void EnablePixel(int idx, bool enable)
@@ -250,5 +250,5 @@
         }
 
-        bool Enabled(uint16_t idx)
+        bool Enabled(uint16_t idx) const
         {
             const int pixel = idx%9;
