diff --git a/Specs/Quint/statemachineTest.qnt b/Specs/Quint/statemachineTest.qnt
index 7e6cf794e..1e2115ae8 100644
--- a/Specs/Quint/statemachineTest.qnt
+++ b/Specs/Quint/statemachineTest.qnt
@@ -10,7 +10,7 @@
     traces.
 */
 
-module statemachine {
+module statemachineTest {
 
 import executor.* from "./executor"
 import consensus.* from "./consensus"