diff --git a/Makefile b/Makefile
index aa440aa2092c9ecd70d766f1ef18891048fbcf3d..8e88f816a724d1cfc583ff930cb0a12e99c911da 100644
--- a/Makefile
+++ b/Makefile
@@ -166,10 +166,10 @@ force-reconfigure:
 
 
 ##############################################################################
-.phony: dune-tests
+.PHONY: tests
 
 TESTS=rte slicing scope value
-dune-tests:
+tests:
 	dune exec -- ptests
 	dune build $(addprefix @tests/,$(addsuffix /ptests,$(TESTS)))