@

source/Scrolls/README.md

@@ -5,7 +5,7 @@
 Let's walk through an example of writing a scroll.
 The scroll we will be writing can be found in `MiscScrolls.mmt` at time of writing, albeit without the documentary comments we will be making here.
 
-Let us write a scroll "Midpoint" that requires two points `P` and `Q` as input, and that gives you upon application the midpoint between those points.
+Let us write a scroll "Midpoint" that requires two points `P` and `Q` as input, and that gives you upon application the midpoint between those points
 
 ```mmt
 theory Midpoint =