diff --git a/spec/protocol-spec/README.md b/spec/protocol-spec/README.md
index 4e6853f9..a051d819 100644
--- a/spec/protocol-spec/README.md
+++ b/spec/protocol-spec/README.md
@@ -105,7 +105,7 @@ to check correctness of the protocol against state invariants. For example:
 quint run --max-steps=20 --max-samples=100000 --invariant=no_commit_equivocation_inv n6f1b3.qnt
 ```
 
-By changing `--max-steps`, we give the simulator how deep the executions should be, e.g., up to 20 steps. By changing `--max-samples`, we give the simulator the number of executions to try, e.g., 100,000.
+By changing `--max-steps`, we tell the simulator how deep the executions should be, e.g., up to 20 steps. By changing `--max-samples`, we give the simulator the number of executions to try, e.g., 100,000.
 
 **Randomized symbolic execution.** Symbolic execution offloads the task of
 finding an execution to the symbolic model checker, while randomly choosing