diff --git a/doc/developer/changes.tex b/doc/developer/changes.tex
index 336f8b67665381bba2355ab732d6c69b05a6ba02..ba27c451541a528ed4f92ed3065cc70aa2008872 100644
--- a/doc/developer/changes.tex
+++ b/doc/developer/changes.tex
@@ -5,6 +5,11 @@
 This chapter summarizes the major changes in this documentation between each
 \framac release, from newest to oldest.
 
+\section*{20.0 Calcium}
+\begin{itemize}
+\item \textbf{Ptests}: Documentation of the new directive \texttt{MODULE}.
+\end{itemize}
+
 \section*{19.0 Potassium}
 \begin{itemize}
 \item \textbf{ACSL Extension}: Document new \texttt{status} flag for registration functions
diff --git a/doc/developer/introduction.tex b/doc/developer/introduction.tex
index 57ec7e7c439119dff1d909c0df671580b6b6380d..1415aa6781a1eed48360e1aff10e8ffcfa96e370 100644
--- a/doc/developer/introduction.tex
+++ b/doc/developer/introduction.tex
@@ -35,8 +35,8 @@ of the \framac development.
 language~\cite{caml}. Motivations for this choice are given in a \framac
 experience report~\cite{framac-experience}. However this guide \emph{does not}
 provide any introduction to this programming language: the World Wide Web
-already contains plenty resources for \caml developers (see for instance
-\url{http://caml.inria.fr/resources/doc/index.en.html}).
+already contains plenty of resources for \caml developers (see for instance
+\url{https://ocaml.org/}).
 
 \section{About this document}