From a751c8a29e28e123be996c39e9243de685f47eff Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Sat, 20 May 2017 11:56:41 +0200
Subject: [PATCH] minor

---
 lectures/lecture2.ctt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lectures/lecture2.ctt b/lectures/lecture2.ctt
index 607397e..cb0926c 100644
--- a/lectures/lecture2.ctt
+++ b/lectures/lecture2.ctt
@@ -116,7 +116,7 @@ interior of the square:
                    <i> a
 
 Here i corresponds to the left-to-right dimension and j corresponds to
-the down-to-up dimension. To compute the left and right endpoints just
+the down-to-up dimension. To compute the left and right sides just
 plug in i=0 and i=1 in the term inside the square:
 
 <j> p @ 0 /\ j = <j> p @ 0 = <j> a   (recall that p is a path from a to b)
-- 
2.34.1