diff -r c5d6e28eec91 -r 006244d53f68 tool/CommandMaster.cpp
--- a/tool/CommandMaster.cpp	Mon Jul 28 14:06:03 2008 +0000
+++ b/tool/CommandMaster.cpp	Mon Jul 28 14:28:43 2008 +0000
@@ -47,7 +47,7 @@
     m.getMaster(&data);
 
     cout
-        << "Master" << masterIndex << endl
+        << "Master" << m.getIndex() << endl
         << "  Phase: ";
 
     switch (data.phase) {