diff --git a/src/lean_spec/spec/forks/lstar/slot.py b/src/lean_spec/spec/forks/lstar/slot.py
index 71715314d..b069e8c10 100644
--- a/src/lean_spec/spec/forks/lstar/slot.py
+++ b/src/lean_spec/spec/forks/lstar/slot.py
@@ -1,10 +1,4 @@
-"""
-Slot primitive shared by the consensus and crypto layers.
-
-The crypto signing scheme binds each signature to a specific slot.
-Hosting the type here lets the crypto layer name the slot without
-importing the rest of the consensus container module.
-"""
+"""Slot primitive shared by the consensus and crypto layers."""
 
 import math
 from typing import Final