small usage note change

diff --git a/Tools/world/world b/Tools/world/world
index 584b4d2c90b52b564785d4170ed7ee76531e63bc..7bff8b1947678d6d5d00db08bcd1fc26951f0860 100755 (executable)
--- a/Tools/world/world
+++ b/Tools/world/world
@@ -2,7 +2,7 @@
 #
 # Note: you may have to edit the top line in this file.
 #
-# Usage: world addr
+# Usage: world addr1 [addr2 ...]
 #
 # $Id$