diff -r ec6223c3b7ec -r 489be2180f71 tool/CommandDomains.cpp
--- a/tool/CommandDomains.cpp	Wed Feb 24 16:27:11 2010 +0100
+++ b/tool/CommandDomains.cpp	Wed Feb 24 17:24:20 2010 +0100
@@ -110,7 +110,7 @@
         m.open(MasterDevice::Read);
         domains = selectedDomains(m);
 
-        if (doIndent) {
+        if (domains.size() && doIndent) {
             cout << "Master" << dec << *mi << endl;
         }