diff --git a/CITATION b/CITATION
index 82db007..e82e075 100755
--- a/CITATION
+++ b/CITATION
@@ -1,5 +1,4 @@
 To cite Isabelle/DOF in publications, please use
-
   
   Achim D. Brucker, Idir Ait-Sadoune, Paolo Crisafulli, and Burkhart
   Wolff. Using The Isabelle Ontology Framework: Linking the Formal