diff --git a/Assignments/A3/A3Soln/A3P1_Spec.pdf b/Assignments/A3/A3Soln/A3P1_Spec.pdf
index e4d059b544a8a43bbf5ab0443b92278abfbc7943..a24bdd491752b3def3dec2763f66ff376a0fc5a8 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 e76bdf1496a8e6b449a71053516b704ac2cc3c62..272621484b131decbf135c29b33c2bad96164036 100644
--- a/Assignments/A3/A3Soln/A3P1_Spec.tex
+++ b/Assignments/A3/A3Soln/A3P1_Spec.tex
@@ -398,7 +398,7 @@ PathT($st, ornt, l$):
     points in the existing path.}
 \begin{multline*}
   exc :=\\
-  (\mbox{pointsInLine}(\mbox{LineT}(st, ornt, l)) \cap (\cup
+  (\mbox{pointsInLine}(\mbox{LineT}(\mbox{adjPt}(ornt), ornt, l))~\cap~\\ (\cup
   (l: \mbox{LineT} | l \in s : \mbox{pointsInLine}(l))) \neq \emptyset \Rightarrow \mbox{invalid\_argument})
 \end{multline*}
 \end{itemize}