From 0a4927f3becfdeb16ce2e20e5137063ed7a07bc5 Mon Sep 17 00:00:00 2001
From: Dean Eigenmann <dean.eigenmann@icloud.com>
Date: Wed, 6 Nov 2019 14:49:05 +0100
Subject: [PATCH] Update README.md

---
 MVDS/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/MVDS/README.md b/MVDS/README.md
index 8a9dfdb..2423e49 100644
--- a/MVDS/README.md
+++ b/MVDS/README.md
@@ -4,5 +4,5 @@ TLA+ specification of the [MVDS](https://specs.vac.dev/mvds.html) spec.
 
 ## Model Checking
 
-- **SpecOK:** This Model runs with 2 validators and uses the `AllMessagesDelivered` state constraint. It proves that messages are eventually received by peers if requested.
+- **SpecOK:** This Model runs with 2 Nodes and uses the `AllMessagesDelivered` state constraint. It proves that messages are eventually received by peers if requested.