diff --git a/quint/gossip-spanning-forest/spanningForest.qnt b/quint/gossip-spanning-forest/spanningForest.qnt
index af8c671..f8ae0d4 100644
--- a/quint/gossip-spanning-forest/spanningForest.qnt
+++ b/quint/gossip-spanning-forest/spanningForest.qnt
@@ -3,7 +3,7 @@
 // 👉 This is WORK IN PROGRESS; not everything here is correct 👈 
 
 /*
-Dynamic Spanning Forest gossip protocol. Or Dinamic Optimal Graph (DOG) gossip protocol.
+Dynamic Spanning Forest gossip protocol. Or Dynamic Optimal Graph (DOG) gossip protocol.
 
 Briefly, if node A receives from B a transaction that it already has, this means that there must
 exist a cycle in the network topology, so A tells B to stop sending transactions. So the idea is
@@ -376,4 +376,4 @@ module spanningForest {
     def s6 = s("n6")
     def s7 = s("n7")
 
-}
\ No newline at end of file
+}