Index: nodes/CNodeRV/wleiden.conf
===================================================================
--- nodes/CNodeRV/wleiden.conf	(revision 2803)
+++ nodes/CNodeRV/wleiden.conf	(revision 2804)
@@ -104,5 +104,5 @@
 
 DHCP=10-60
-DHCP_STATIC=host forum{hardware ethernet 00:08:a1:6e:82:7a; fixed-address 172.20.128.18}
+DHCP_STATIC=host forum{hardware ethernet 00:08:a1:6e:82:7a; fixed-address 172.20.128.18;}
 EW0
 
