diff --git a/src/measure/vector/fin.tex b/src/measure/vector/fin.tex
index 5c8bbfb..c7eabd9 100644
--- a/src/measure/vector/fin.tex
+++ b/src/measure/vector/fin.tex
@@ -103,7 +103,7 @@ Despite the fact that it does not cover the full dual space, the bounded Borel f
         \item[(P)] For each $x \in X$, $\bracs{x} \in \cm$, and the delta mass $\delta_x$ is in $\mathscr{M}$.
     \end{enumerate}
 
-    then for any sequence $f_n: X \to E^*$ of bounded measurable functions and $f: X \to E^*$ be a bounded measurable function, the following are equivalent:
+    Then, for any bounded measurable functions $\bracsn{f_n: X \to E^*|n \in \natp}$ and $f: X \to E^*$, the following are equivalent: 
     \begin{enumerate}
         \item For each $\mu \in \mathscr{M}$, $\limv{n}\int f_n d\mu = \int f d\mu$. 
         \item For each $x \in X$, $\limv{n}f_n(x) = f(x)$, and $\sup_{n \in \natp}\norm{f_n}_u < \infty$.