diff --git a/paper-qcoh.pdf b/paper-qcoh.pdf
index 4c27c35..d402bee 100644
Binary files a/paper-qcoh.pdf and b/paper-qcoh.pdf differ
diff --git a/paper-qcoh.tex b/paper-qcoh.tex
index 498a2ee..29f4015 100644
--- a/paper-qcoh.tex
+++ b/paper-qcoh.tex
@@ -1316,8 +1316,8 @@ \section{The special case of Horn theories}
 \begin{rem}The finite presentability condition in
 Lemma~\ref{lemma:fp-double-dual} cannot be dropped. For instance, in the case
 that~$\TT$ is the theory of commutative rings with unit and~$A$ is the
-ring~$\QQ$ of integers, we have~$\Spec(A^\sim) \cong \Spec(0^\sim)$, where~$0$
-is the zero ring, as~$\QQ$ allows ring homomorphisms only in those finitely
+ring~$\QQ$ of rational numbers, we have~$\Spec(A^\sim) \cong \Spec(0^\sim)$, where~$0$
+is the zero ring, as~$\QQ$ allows ring homomorphisms only to those finitely
 presented rings in which~$1 = 0$ holds. Hence~$A^\sim$
 and~$(U_\TT)^{\Spec(A^\sim)} \cong (U_\TT)^{\Spec(0^\sim)} \cong 0^\sim$ do not coincide.
 \end{rem}