diff --git a/document/core/exec/modules.rst b/document/core/exec/modules.rst
index ad485c3612..cdb20d03c4 100644
--- a/document/core/exec/modules.rst
+++ b/document/core/exec/modules.rst
@@ -798,6 +798,10 @@ Once the function has returned, the following steps are executed:
 
 2. Pop :math:`\val_{\F{res}}^m` from the stack.
 
+3. Assert: due to :ref:`validation <valid-module>`, the frame :math:`F` is now on the top of the stack.
+
+4. Pop the frame :math:`F` from the stack.
+
 The values :math:`\val_{\F{res}}^m` are returned as the results of the invocation.
 
 .. math::