diff --git a/Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.pdf b/Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.pdf
index bc0183cc4c3153ff4a9561cfcf11823f51396bee..5870ce3b543a5387fca2bf1a33375c9798bf5f7b 100644
Binary files a/Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.pdf and b/Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.pdf differ
diff --git a/Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.tex b/Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.tex
index ae74bace0a39187937dc3ae35049a0b4342a6916..c7b60132876961c62d8cb9014eb9314b10355107 100755
--- a/Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.tex
+++ b/Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.tex
@@ -252,7 +252,7 @@ for receipt of the 3rd}}
 \item Specification fragment for a linear solver
 \begin{itemize}
 \item \structure{Given $A$ and $b$, solve the  linear system $A x = b$ for $x$, such that the error in any entry of
-$x$ is than 5 \%.}
+$x$ is less than 5 \%.}
 \end{itemize}
 \item What is a potential problems with this specification?
 \begin{itemize}