diff --git a/spec/lang/master/index.html b/spec/lang/master/index.html
index fd0b309a98..9943bd1e90 100644
--- a/spec/lang/master/index.html
+++ b/spec/lang/master/index.html
@@ -10147,6 +10147,9 @@ <h3 id="lock_statement">7.22 Lock statement</h3>
 directly or indirectly in a call to that defined function.
 </p>
 <p>
+It is a compile-time error if a lock-stmt contains a sync-send-action or a receive-action.
+</p>
+<p>
 There are two cases where a variable is restricted to be used only within a
 lock statement:
 </p>
@@ -14483,6 +14486,7 @@ <h3 id="section_B.1">B.1 Summary of changes from 2023R1 to 2024R1</h3>
 <li>Isolated inference can infer <code>isolated</code> for an object constructor expression.</li>
 <li>A query-select-expr can construct a stream without explicitly specififying
 the <code>stream</code> keyword.</li>
+<li>It is no longer allowed for a lock statement to contain a sync-send-action or a receive-action.</li>
 </ol>
 </section>
 <section>
diff --git a/spec/lang/master/spec.xml b/spec/lang/master/spec.xml
index 21b829b9e2..79aac963a2 100644
--- a/spec/lang/master/spec.xml
+++ b/spec/lang/master/spec.xml
@@ -9627,6 +9627,9 @@ there is a function call lexically within the lock-stmt that might result
 directly or indirectly in a call to that defined function.
 </p>
 <p>
+It is a compile-time error if a lock-stmt contains a sync-send-action or a receive-action.
+</p>
+<p>
 There are two cases where a variable is restricted to be used only within a
 lock statement:
 </p>
@@ -13988,6 +13991,7 @@ public isolated function last(Type v, Type... vs) returns Type = external;
 <li>Isolated inference can infer <code>isolated</code> for an object constructor expression.</li>
 <li>A query-select-expr can construct a stream without explicitly specififying
 the <code>stream</code> keyword.</li>
+<li>It is no longer allowed for a lock statement to contain a sync-send-action or a receive-action.</li>
 </ol>
 </section>
 <section>