From ceffd83c3ff97ae968361d4bdb9379540299c286 Mon Sep 17 00:00:00 2001
From: Bill Zorn <bill.zorn@gmail.com>
Date: Wed, 15 Aug 2018 18:08:14 -0700
Subject: [PATCH] typo?

---
 spec/fpcore-1.1.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec/fpcore-1.1.html b/spec/fpcore-1.1.html
index c5fc382..404732f 100644
--- a/spec/fpcore-1.1.html
+++ b/spec/fpcore-1.1.html
@@ -458,7 +458,7 @@ <h3>Rounding</h3>
     overall FPCore benchmark and are updated with
     <code>!</code> annotations. Program inputs can also be annotated
     to describe the precision of the input.
-    <code>!</code> use lexical scoping. For example, in the expression
+    <code>!</code> annotations use lexical scoping. For example, in the expression
   </p>
 
   <figure>