diff --git a/Lectures/Lecture 9.tex b/Lectures/Lecture 9.tex
index 8c89e0f..5b5f651 100644
--- a/Lectures/Lecture 9.tex	
+++ b/Lectures/Lecture 9.tex	
@@ -239,7 +239,7 @@ \section{Exact sequences}
 
 \begin{lem}
 Let \(\mathcal F^\bullet\) be a cochain complex in \(\catAbelianSheaf(X)\).
-Then \(\mathcal F^\bullet\) is exact at \(\mathcal F^i\) if and only if \(\mathcal F^\bullet_x\) is exact at \(\mathcal F^i_x\) is exact for all \(x\in X\).
+Then \(\mathcal F^\bullet\) is exact at \(\mathcal F^i\) if and only if \(\mathcal F^\bullet_x\) is exact at \(\mathcal F^i_x\) for all \(x\in X\).
 \end{lem}
 
 \begin{proof}