diff --git a/Isabelle_DOF-Ontologies/document/lstisadof-manual.sty b/Isabelle_DOF-Ontologies/document/lstisadof-manual.sty
index 38701bb..c9d2605 100644
--- a/Isabelle_DOF-Ontologies/document/lstisadof-manual.sty
+++ b/Isabelle_DOF-Ontologies/document/lstisadof-manual.sty
@@ -136,12 +136,12 @@
 \lstloadlanguages{ML}
 \providecolor{sml}{named}{red}
 \lstdefinestyle{sml}{
-   escapechar=ë,%
-   basicstyle=\ttfamily,%
-   commentstyle=\itshape,%
-   keywordstyle=\bfseries\color{CornflowerBlue},%
-   ndkeywordstyle=\color{green},%
-   language=ML
+   ,escapechar=ë%
+   ,basicstyle=\ttfamily%
+   ,commentstyle=\itshape%
+   ,keywordstyle=\bfseries\color{CornflowerBlue}%
+   ,ndkeywordstyle=\color{green}%
+   ,language=ML
 %  ,literate={%
 %     {<@>}{@}1%
 %    }