diff --git a/Tools/world/world b/Tools/world/world index 584b4d2c90b..7bff8b19476 100755 --- 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$