diff --git a/Specs/Quint/decideForPastRound.qnt b/Specs/Quint/decideForPastRound.qnt
index 4af82b7a2..69917f3e2 100644
--- a/Specs/Quint/decideForPastRound.qnt
+++ b/Specs/Quint/decideForPastRound.qnt
@@ -32,7 +32,7 @@ run runToDecision = {
         everyoneReceivesProposal(others, validatorList, validatorSet, 0, 0, "blue")
     })
 
-// Others receive the prevots of others and the faulty ones -> send precommit value
+// Others receive the prevotes of others and the faulty ones -> send precommit value
     .then(ListDeliverAllVotes ("Prevote", others.concat(faultyList), others, validatorSet, 0, 0, "blue"))
     .then(others.concat(faultyList).length().reps(_ => ListTakeAStep(others)))
     .then(ListTakeAStep(others))