diff --git a/examples/technical_report/TR_my_commented_isabelle/TR_MyCommentedIsabelle.thy b/examples/technical_report/TR_my_commented_isabelle/TR_MyCommentedIsabelle.thy
index 4a87ce9..190f91e 100755
--- a/examples/technical_report/TR_my_commented_isabelle/TR_MyCommentedIsabelle.thy
+++ b/examples/technical_report/TR_my_commented_isabelle/TR_MyCommentedIsabelle.thy
@@ -2307,8 +2307,8 @@ text\<open> This interactive Isabelle Programming Cook-Book represents my curren
 \<close>
 (*<*)
 
-paragraph\<open>Many thanks to Frederic Tuong, who contributed some example such as the string cartouche
-for Unicode Character Denotations as well as many local hints for improvements.\<close>
+paragraph\<open>Many thanks to Frederic Tuong, who contributed some example such as the string 
+cartouche for Unicode Character Denotations as well as many local hints for improvements.\<close>
 
 section*[bib::bibliography]\<open>Bibliography\<close>