Index: nodes/CNodeStadhuis/wleiden.conf
===================================================================
--- nodes/CNodeStadhuis/wleiden.conf	(revision 7307)
+++ nodes/CNodeStadhuis/wleiden.conf	(revision 7308)
@@ -22,7 +22,6 @@
 $status='up';
 
-configuratie van ethernetpoort via usb-ethernet adapter
-
-$config{'aue0'}=sprintf <<UE0; lokaal ethernet via usb-lan adapter
+# configuratie van ethernetpoort via usb-ethernet adapter
+$config{'aue0'}=sprintf <<UE0;  # lokaal ethernet via usb-lan adapter
 TYPE=ethernet
 IP=172.16.3.209/28
@@ -32,5 +31,5 @@
 UE0
 
-$config{'aue0:0'}=sprintf <<UE00; management interface via usb-lan adapter
+$config{'aue0:0'}=sprintf <<UE00; # management interface via usb-lan adapter
 TYPE=ethernet
 IP=172.16.3.245/30