Index: tools/proxy-8.0/wleiden.pl
===================================================================
--- tools/proxy-8.0/wleiden.pl	(revision 8023)
+++ tools/proxy-8.0/wleiden.pl	(revision 8024)
@@ -254,5 +254,5 @@
       else {
         if ( $DHCPCLIENT{$if} =~ /yes/i ) {
-           $output .= "ifconfig_$if=\"inet DHCP";
+           $output .= "ifconfig_$if=\"DHCP";
         } else {
            $output .= "ifconfig_$if=\"inet $IP{$interface}";