diff --git a/models/Application_examples/Web_Browser_Formal_Security.mp b/models/Application_examples/Web_Browser_Formal_Security.mp
index 66db6962d145214dc3168694c0f97181de4b0cb8..66d9d57c1cc29e64dadd18c4a66f3a757567f90c 100644
--- a/models/Application_examples/Web_Browser_Formal_Security.mp
+++ b/models/Application_examples/Web_Browser_Formal_Security.mp
@@ -11,7 +11,7 @@
 │*│ │ communication involving a bad server and a good    │ │
 │*│ │ server.                                            │ │
 │*│ └────────────────────────────────────────────────────┘ │
-│*│														   │
+│*│                                                        │
 │*│ ┌─[ Description ]────────────────────────────────────┐ │
 │*│ │ This example borrowed from (Jackson 2019)          │ │
 │*│ │ demonstrates how MP can check whether Client's web │ │