diff --git a/tests/mbt/model/ccv_model.qnt b/tests/mbt/model/ccv_model.qnt
index 750ae20792..6368644014 100644
--- a/tests/mbt/model/ccv_model.qnt
+++ b/tests/mbt/model/ccv_model.qnt
@@ -195,7 +195,7 @@ module ccv_model {
         // but it's probably not much faster than just trying and failing.
         all {
             runningConsumers.size() > 0, // ensure there is a running consumer, otherwise this action does not make sense
-            nondet recciver = oneOf(runningConsumers)
+            nondet receiver = oneOf(runningConsumers)
             DeliverVscPacket(recciver),
         },
     }