diff --git a/Isabelle_DOF-Unit-Tests/COL_Test.thy b/Isabelle_DOF-Unit-Tests/COL_Test.thy
index 9d53e2d..803d3a4 100644
--- a/Isabelle_DOF-Unit-Tests/COL_Test.thy
+++ b/Isabelle_DOF-Unit-Tests/COL_Test.thy
@@ -66,16 +66,15 @@ text\<open>check @{side_by_side_figure sbsfig1} cmp to @{side_by_side_figure sbs
 
 text*[inlinefig::float, 
       caption="\<open>The Caption.\<close>"]
-\<open>@{theory_text [display, margin = 5] \<open>lemma A :: "a \<longrightarrow> b"\<close>}\<close>
+      \<open>@{theory_text [display, margin = 5] \<open>lemma A :: "a \<longrightarrow> b"\<close>}\<close>
 
 text*[fffff::float]\<open> @{fig_content   [display] (scale = 80, width=80, caption=\<open>this is \<^term>\<open>\<sigma>\<^sub>i+2\<close> \<close>) 
                       \<open>figures/A.png\<close>}\<close>
 
-
 (*<*)
 text*[inlinegraph::float, 
       caption="\<open>Another \<sigma>\<^sub>i+2 Caption.\<close>"]
-     \<open>@{fig_content [display] (scale = 80, width=80, caption=\<open>This is \<^term>\<open>\<sigma>\<^sub>i+2\<close> \<close>) 
+     \<open>@{fig_content [display] (scale = 80, width=80, caption=\<open>This is \<^term>\<open>\<sigma>\<^sub>i+2\<close> \<dots>\<close>) 
                \<open>figures/A.png\<close>}\<close>
 (*>*)