diff --git a/Assignments/A3/A3Soln/A3P1_Spec.pdf b/Assignments/A3/A3Soln/A3P1_Spec.pdf
index 2f8c51da14b7c4c17344bfc960445fb060119ee4..e4d059b544a8a43bbf5ab0443b92278abfbc7943 100644
Binary files a/Assignments/A3/A3Soln/A3P1_Spec.pdf and b/Assignments/A3/A3Soln/A3P1_Spec.pdf differ
diff --git a/Assignments/A3/A3Soln/A3P1_Spec.tex b/Assignments/A3/A3Soln/A3P1_Spec.tex
index 6ef43a43f1a00fa05d76e24d76254f43e8d69889..e76bdf1496a8e6b449a71053516b704ac2cc3c62 100644
--- a/Assignments/A3/A3Soln/A3P1_Spec.tex
+++ b/Assignments/A3/A3Soln/A3P1_Spec.tex
@@ -430,7 +430,7 @@ PathT($st, ornt, l$):
 \noindent len:
 \begin{itemize}
 \item output: \wss{Output the total number of points (grid cells) on the path,
-    including the beginning and end points (cells).}$out := +(l: \mbox{LineT} | i \in s: l.\mbox{len})$
+    including the beginning and end points (cells).}$out := +(l: \mbox{LineT} | l \in s: l.\mbox{len})$
 \item exception: None
 \end{itemize}