Fix references

formal-spaces.tex

@@ -870,7 +870,7 @@ \section{Topological rings and modules}
 $$
 Since $A \to B$ is continuous, for every $\lambda$ there
 is a $\mu$ such that $I_\mu B \subset J_\lambda$, see discussion in
-Remark \ref{example-what-does-it-mean}. Hence the limit
+Example \ref{example-what-does-it-mean}. Hence the limit
 can be written as $\lim B/(J_\lambda + IB)$ and the result is clear.
 \end{proof}
 
@@ -2831,7 +2831,8 @@ \section{Morphisms representable by algebraic spaces}
 Then $A^\wedge$ (endowed with the limit topology) is a
 complete linearly topologized ring. The (open) kernel $I$
 of the surjection $A^\wedge \to A/JA$ is the closure of $JA^\wedge$, see
-Lemma \ref{lemma-closed}. By Lemma \ref{lemma-topologically-nilpotent}
+Lemma \ref{lemma-closed}. By
+Lemma \ref{lemma-topologically-nilpotent}
 we see that $I$ consists of topologically nilpotent elements.
 Thus $I$ is a weak ideal of definition of $A^\wedge$ and we conclude
 $A^\wedge$ is a weakly admissible topological ring. Thus