Index: /tools/iris-8.0/wleiden.pl
===================================================================
--- /tools/iris-8.0/wleiden.pl	(revision 7533)
+++ /tools/iris-8.0/wleiden.pl	(revision 7534)
@@ -235,5 +235,5 @@
   $iplist = "172.31.255.1/32";
   if( $masterNotUsed ) {
-    $iplist .= "$master_ip/32";
+    $iplist .= " $master_ip/32";
   }
   $output .= "ipv4_addrs_lo0=\"127.0.0.1/8 $iplist\"\n";