diff --git a/test/Makefile b/test/Makefile
index 44f909d6bf13b658f698b7282580d6dc4a25d024..59e43fef2eef9d43c30c46066374801ec62b157e 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -5,6 +5,7 @@ test:
 	cd unison/ && make clean && make test && make clean
 	cd bfs-spanning-tree/ && make clean && make test && make clean
 	cd rsp_tree/ && make clean && make test && make clean
+	cd kclustering/ && make clean && make test && make clean
 	echo "Every test went fine!"
 
 clean:
@@ -13,6 +14,7 @@ clean:
 	cd unison/ && make clean
 	cd bfs-spanning-tree/ && make clean
 	cd rsp_tree/ && make clean
+	cd kclustering/ && make clean
 
 compare:
 	cd coloring/ &&	make compare_seed
diff --git a/test/dijkstra-ring/verify.lus b/test/dijkstra-ring/verify.lus
index 134c4e62975413633d77ed2097c2710245304850..3f6ac4046f1460687e84ae9acbe530e428fb2651 100644
--- a/test/dijkstra-ring/verify.lus
+++ b/test/dijkstra-ring/verify.lus
@@ -24,7 +24,7 @@ let
         assert(config = init_config -> true);
 
 	-- stability in this algo means mutual exclusion: exactly 1 node is enabled at a time
-        legitimate = legitimate<<actions_number,card>>(enables,config);
+        legitimate = legitimate<<actions_number,card>>(enabled,config);
         at_least_1 = n_or <<card>>(map<<n_or<<actions_number>>,card>> (enabled));
 
 	closure = true -> (pre(legitimate) => legitimate);