Index: nodes/HNodeRuben/wleiden.conf
===================================================================
--- nodes/HNodeRuben/wleiden.conf	(revision 844)
+++ nodes/HNodeRuben/wleiden.conf	(revision 845)
@@ -6,5 +6,5 @@
 $gw_open='closed';
 $nodetype='HNode';
-$nodename='Ruben
+$nodename='Ruben';
 
 $AGGREGATE=24;