diff -r ec6223c3b7ec -r 489be2180f71 tool/CommandConfig.cpp --- a/tool/CommandConfig.cpp Wed Feb 24 16:27:11 2010 +0100 +++ b/tool/CommandConfig.cpp Wed Feb 24 17:24:20 2010 +0100 @@ -121,8 +121,8 @@ m.open(MasterDevice::Read); configs = selectedConfigs(m); - if (doIndent) { - cout << "Master" << dec << *mi << endl; + if (configs.size() && doIndent) { + cout << "Master" << dec << m.getIndex() << endl; } if (getVerbosity() == Verbose) {