From 32d2e71658a2de66193b82f9d9a86fa6b9480cbc Mon Sep 17 00:00:00 2001
From: Nicoletta Fornara <fornaran@usi.ch>
Date: Fri, 11 Oct 2024 14:57:27 +0200
Subject: [PATCH] Update index.html

---
 formal-semantics/index.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/formal-semantics/index.html b/formal-semantics/index.html
index 84ebfe2..5dd2552 100644
--- a/formal-semantics/index.html
+++ b/formal-semantics/index.html
@@ -502,7 +502,7 @@ <h4>Example of a permission whose permitted action is refined</h4>
 
         <h3>Evaluation of Conditions (Duties)</h3> 
        <p>
-	 When a Permission contains Conditions (duties) they have to be evaluated first.     
+	 When a Permission contains Conditions (duties), they have to be evaluated first.     
        </p>
 	    
 	<p>
@@ -522,8 +522,8 @@ <h3>Evaluation of Conditions (Duties)</h3>
             <img src="2024ODRLDuty.png"></p>
 
 	     <p>
-            Once the Condition (duty) has been evaluated, the Permission can be evaluated. 
-	    If the Condition is active but it is not fullfilled then the Permission is inactive.
+            Once the Condition (duty) has been evaluated, the Permission can be evaluated. <br>
+	    If the Condition is active but it is not fullfilled then the Permission is inactive.<br>
             If the Condition is fulfilled then the Permission is active.
         </p>