diff --git a/Application_examples/Dining_Philosophers.mp b/Application_examples/Dining_Philosophers.mp
index d4f05f3cca70ddaeb36b6ff0c5768e71e1a974b9..c97601ca71082ed411f277c1ef5b587977411057 100644
--- a/Application_examples/Dining_Philosophers.mp
+++ b/Application_examples/Dining_Philosophers.mp
@@ -32,7 +32,8 @@ scope 3 yields 6 traces  in approx. 0.05 sec.
 scope 4 yields 14 traces in approx. 0.44 sec.
 scope 5 yields 30 traces in approx. 1.6 sec.
 
-============================================================================*/
+==========================================================*/
+
 SCHEMA Dining_Philosophers
 
 ROOT Philosophers: {+<$$scope> 	Philosopher +};