diff --git a/design/models/0007-kernel-extensions.md b/design/models/0007-kernel-extensions.md
index 922cd43..0abc086 100644
--- a/design/models/0007-kernel-extensions.md
+++ b/design/models/0007-kernel-extensions.md
@@ -105,7 +105,7 @@ moving average over a stream of float values, window size 3":
           (term-ctor FloatList FCons 8.0
           (term-ctor FloatList FCons 6.0
           (term-ctor FloatList FCons 2.0
-          (term-ctor FloatList FNil)))))))))))
+          (term-ctor FloatList FNil))))))))))))
 ```
 
 Four constructs in this program are not in today's AILang. Each