diff --git a/mps/procedure/release-build/index.html b/mps/procedure/release-build/index.html
index 902a6de4dc2..8d93ff86db2 100644
--- a/mps/procedure/release-build/index.html
+++ b/mps/procedure/release-build/index.html
@@ -186,7 +186,7 @@ consistent with previous releases. </p></li>
 the release changelevel to the <code>releases</code> table, so that the
 correct set of known and fixed issues can be derived. </p></li>
 
-<li><p> Submit these changes with the comment "Registered release
+<li><p> Submit these changes with the comment "MPS: registered release
 RELEASE."  </p></li>
 
 <li><p> Inform the project manager and staff by e-mail to <a