diff --git a/pyk/src/pyk/kllvm/hints/prooftrace.py b/pyk/src/pyk/kllvm/hints/prooftrace.py
index 29a2cb4bfef..2cc98e6f0ed 100644
--- a/pyk/src/pyk/kllvm/hints/prooftrace.py
+++ b/pyk/src/pyk/kllvm/hints/prooftrace.py
@@ -201,7 +201,7 @@ def name(self) -> str:
 
     @property
     def relative_position(self) -> str:
-        """Return the relative position of the LLVM function event in the proof trace. Ex.: (0:0:0:0)."""
+        """Return the relative position of the LLVM function event in the proof trace."""
         return self._function_event.relative_position
 
     @property
@@ -243,7 +243,7 @@ def name(self) -> str:
 
     @property
     def relative_position(self) -> str:
-        """Return the relative position of the hook event in the proof trace. Ex.: (0:0:0:0)."""
+        """Return the relative position of the hook event in the proof trace."""
         return self._hook_event.relative_position
 
     @property