diff --git a/examples/simple/Article.thy b/examples/simple/Article.thy
index df9c01e1..51aec7c0 100644
--- a/examples/simple/Article.thy
+++ b/examples/simple/Article.thy
@@ -40,9 +40,8 @@ text{* As mentioned in @{introduction \<open>intro\<close>} ... *}
 @{thms ''[refl,sym]''}
 *)    
     
-
 update_instance*[bgrnd, main_author = "Some(''bu'')", formula="@{term ''a + b = b + a''}"] 
-  
+
 section*[ontomod::technical]{* Modeling Ontologies in Isabelle_DOF *} 
 text{* Lorem ipsum dolor sit amet, suspendisse non arcu malesuada mollis, nibh morbi,*}