Index: /nodes/CNodeDeClercq/wleiden.conf
===================================================================
--- /nodes/CNodeDeClercq/wleiden.conf	(revision 9226)
+++ /nodes/CNodeDeClercq/wleiden.conf	(revision 9227)
@@ -5,5 +5,5 @@
 $nodename='DeClercq';
 $status='up';
-$release="8.0";
+$release="8.0-RELEASE";
 $X='95694';
 $Y='462845';