Index: nodes/CNodeVosko1/wleiden.conf
===================================================================
--- nodes/CNodeVosko1/wleiden.conf	(revision 4016)
+++ nodes/CNodeVosko1/wleiden.conf	(revision 4023)
@@ -5,5 +5,5 @@
 # config CNodeVosko1
 
-$location='Pieterskerk torentje, Kloksteeg 16, 2311 SL, Leiden';
+$location='Linker kast, 00:00:24:c3:37:40, Pieterskerk torentje, Kloksteeg 16, 2311 SL, Leiden';
 
 $master_ip='172.17.174.1';
@@ -14,4 +14,5 @@
 $DISK='FLASH';
 
+$tproxy='172.17.174.64/28';
 $status='up';
 $labelpos='left';
@@ -34,6 +35,4 @@
 DHCP=67-78
 SIS0
-
-
 
 $config{'sis1'}=sprintf <<SIS1;  # Ethernet