diff --git a/spec/changelog.tex b/spec/changelog.tex
index ece5aebfeb087644d92ed63c84b8d8c28316132f..3ff625899a52be0c1bec08067343ef10d3e84903 100644
--- a/spec/changelog.tex
+++ b/spec/changelog.tex
@@ -18,7 +18,7 @@ Breaking changes:
         be \texttt{(x S) (:= (y S) x)}.
   \item The arguments for \proofRule{forall_inst} have been changed to
         no longer take the shape of bindings using \texttt{(:= x c)}.
-        Instead, the list of instatiation terms must follow the variable order.
+        Instead, the list of instatiation terms must follow the variable order and cover all the respective bound variables.
 \end{itemize}
 
 \noindent