Index: tools/iris/wleiden.pl
===================================================================
--- tools/iris/wleiden.pl	(revision 7382)
+++ tools/iris/wleiden.pl	(revision 7384)
@@ -68,5 +68,4 @@
   $output .=
     "# Query all upstream dns servers by default\n" .
-    "all-servers \n" .
     "# DHCP server options \n" .
     "dhcp-authoritative \n" .