diff --git a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy
index 90b7d37..641358e 100755
--- a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy
+++ b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy
@@ -47,7 +47,7 @@ text\<open>
   \<^LaTeX>. We assume a basic familiarity with a Linux/Unix-like command line (i.e., a shell). 
 
   \<^isadof> requires Isabelle\<^bindex>\<open>Isabelle\<close> (\isabellefullversion) with a recent \<^LaTeX>-distribution
-  (e.g., TexLive 2020 or later).    
+  (e.g., Tex Live 2020 or later).    
   \<^isadof> uses a two-part version system (e.g., 1.0.0/2020),  where the first part is the version
   of \<^isadof> (using semantic versioning) and the second part is the supported version of Isabelle. 
   Thus, the same version of \<^isadof> might be available for different versions of Isabelle.