diff --git a/1-manifolds.tex b/1-manifolds.tex
index 82c4414..69d1cd2 100644
--- a/1-manifolds.tex
+++ b/1-manifolds.tex
@@ -379,7 +379,7 @@ \section{Differentiable manifolds}
 \end{example}
 
 Note that smooth manifolds do not yet have a metric structure: distances between the points are not defined.
-However, they are \emph{metrizable}\footnote{In fact, all the topological manifolds are metrizable. This property is far more general and harder to prove~\cite{book:munkres:topology}.}: there exists some metric on the manifold that induces the given topology on it.
+However, they are \emph{metrizable}\footnote{In fact, all the topological manifolds are metrizable. This property is far more general and harder to prove~\cite[Theorem 34.1 and Exercise 1 of Chapter 4.36]{book:munkres:topology}.}: there exists some metric on the manifold that induces the given topology on it.
 This allows to always view manifolds as metric spaces.
 
 \begin{example}[A different smooth structure on $\R$]