From b0de674117c752559bf61838b41b7974f74c90d9 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Fri, 28 Sep 2018 11:12:58 +0100
Subject: [PATCH] Grammar

---
 syndicate/mc/preserve.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/syndicate/mc/preserve.md b/syndicate/mc/preserve.md
index 858005f..fd4bd4c 100644
--- a/syndicate/mc/preserve.md
+++ b/syndicate/mc/preserve.md
@@ -647,7 +647,7 @@ order.
     the option of serializing with set elements and dictionary keys in
     sorted order.
 
-Note that `header(3,3,m)` and `open(3,3)`/`close(3,3)` is unused and reserved.
+Note that `header(3,3,m)` and `open(3,3)`/`close(3,3)` are unused and reserved.
 
 ### SignedIntegers