diff --git a/src/TPDB/CPF/Proof/Write.hs b/src/TPDB/CPF/Proof/Write.hs
--- a/src/TPDB/CPF/Proof/Write.hs
+++ b/src/TPDB/CPF/Proof/Write.hs
@@ -177,9 +177,7 @@
           [ toContents $ trsTerminationProof_Standard p
           ]
       StringReversal {} -> rmkel "stringReversal" $ concat
-          [ -- toContents $ trs p
-            toContents $ standard $ trs p
-          , toContents $ relative $ trs p
+          [ toContents $ trs p
           , toContents $ trsTerminationProof p
           ]
       FlatContextClosure {} -> rmkel "flatContextClosure" $ concat $
diff --git a/tpdb.cabal b/tpdb.cabal
--- a/tpdb.cabal
+++ b/tpdb.cabal
@@ -1,7 +1,7 @@
 Cabal-Version: 3.8
 
 Name: tpdb
-Version: 2.8.4
+Version: 2.8.5
 
 Author: Alexander Bau, Johannes Waldmann
 Maintainer: Johannes Waldmann