diff --git a/theories/logrel/session_types.v b/theories/logrel/session_types.v
index 72a84d906b281e8b65f665229096cd1b3cd799f3..3bea14a061bc9652fc0814c750db7160eb907bc8 100644
--- a/theories/logrel/session_types.v
+++ b/theories/logrel/session_types.v
@@ -39,7 +39,7 @@ Instance: Params (@lty_app) 1 := {}.
 
 Notation "'TY' A ; S" := (lty_msg_base A S)
   (at level 200, right associativity,
-   format "'TY'  A  ;  S") : lmsg_scope.
+   format "'TY'  A ;  S") : lmsg_scope.
 Notation "∃ X .. Y , M" :=
   (lty_msg_exist (λ X, .. (lty_msg_exist (λ Y, M)) ..)%lmsg) : lmsg_scope.
 Notation "'∃..' X .. Y , M" :=