diff --git a/Application_examples/Web_Browser_Formal_Security.mp b/Application_examples/Web_Browser_Formal_Security.mp
index d1c969e35dccfc61aa74ce78a8b45cac979b68ab..86f8c3eb4c34d4af44bb6fb758a721f4c5b38db6 100644
--- a/Application_examples/Web_Browser_Formal_Security.mp
+++ b/Application_examples/Web_Browser_Formal_Security.mp
@@ -38,7 +38,8 @@ in order to model the vulnerabilities explained in the papers above.
     how MP can check whether Client's web query may 
 	be indirectly affected by Bad Server's Redirect intervention.
     
-==============================================================================*/
+==========================================================*/
+
 SCHEMA Web_browser
 
 /* Response may embed some Request events,