diff --git a/barrier/specification.v b/barrier/specification.v
index 5024c3b9ad77d43a60c944412841c10139d4161a..462bcc64ba81e2df5ea37a10d5ba6af5faa4e05b 100644
--- a/barrier/specification.v
+++ b/barrier/specification.v
@@ -29,6 +29,6 @@ Proof.
   - intros l P. apply ht_alt.
     by rewrite -(wait_spec heapN N l P) wand_diag right_id.
   - intros l P Q. apply vs_alt. rewrite -(recv_split heapN N N l P Q) //.
-  - intros l P Q. apply recv_strengthen.
+  - intros l P Q. apply recv_weaken.
 Qed.
 End spec.