diff --git a/theories/logrel/session_typing_rules.v b/theories/logrel/session_typing_rules.v
index e94d0c880c52dfe8951b3ec1cb8d270ad3725aef..6b7be5e46cfc05f73831b4917878b153632a63d2 100644
--- a/theories/logrel/session_typing_rules.v
+++ b/theories/logrel/session_typing_rules.v
@@ -1,4 +1,4 @@
-(** This file defines all of the semantic typing lemmas for term types. Most of
+(** This file defines all of the semantic typing lemmas for session types. Most of
 these lemmas are semantic versions of the syntactic typing judgments typically
 found in a syntactic type system. *)
 From stdpp Require Import pretty.