diff --git a/docs/protocols/alpha.rst b/docs/protocols/alpha.rst
index 3a03f0d245e403d3cab3ad226c766e33aa414b72..947dda705df036d68e8e57cc013ca93df337b535 100644
--- a/docs/protocols/alpha.rst
+++ b/docs/protocols/alpha.rst
@@ -144,6 +144,7 @@ Minor Changes
   blocks. To avoid mempools getting spammed with operations with
   various slots, double (pre)endorsement denunciations can now punish
   multiple operations from the same delegate with distinct slots.
+  Finally, this change makes mempool initialization faster.
   (MR :gl:`!7927`)
 
 Internal
@@ -159,6 +160,8 @@ Internal
 
 - Michelson: normalize all lambdas into optimized mode during elaboration. (MR :gl:`!7829`)
 
+- Michelson: stack types variables renamed to uppercase. (MR :gl:`!7953`)
+
 - Michelson: ``IConst`` constructor renamed into ``IPush``. (MR :gl:`!7954`)
 
 - Refactor and simplify consensus operation validation. (MR :gl:`!7720`)