From 5cdde0c06d836c5032bebcdb8d6b408b0cca177f 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

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

diff --git a/preserve.md b/preserve.md
index 858005f..fd4bd4c 100644
--- a/preserve.md
+++ b/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