diff --git a/documentation/23.09/eiffel/Tutorials/eiffel-tutorial-et/et-dynamic-structure-execution-model.wiki b/documentation/23.09/eiffel/Tutorials/eiffel-tutorial-et/et-dynamic-structure-execution-model.wiki
index ce22eafe..8ca6bd9e 100644
--- a/documentation/23.09/eiffel/Tutorials/eiffel-tutorial-et/et-dynamic-structure-execution-model.wiki
+++ b/documentation/23.09/eiffel/Tutorials/eiffel-tutorial-et/et-dynamic-structure-execution-model.wiki
@@ -1,4 +1,4 @@
-[[Property:modification_date|Mon, 23 Jan 2023 09:14:48 GMT]]
+[[Property:modification_date|Mon, 09 Oct 2023 15:00:21 GMT]]
 [[Property:publication_date|Mon, 23 Jan 2023 09:14:48 GMT]]
 [[Property:title|ET: The Dynamic Structure: Execution Model]]
 [[Property:weight|-10]]
@@ -298,7 +298,7 @@ This would be awkward. Infix and prefix notations solve the problem, reconciling
         end
 </code>
 
-Such a feature has all the properties and prerogatives of both normal "identifier-dot" notation and infix notation. This allowing invoking <code>plus</code> using either notation: <code>i.plus (j)</code> or <code>i + j</code> . A feature such as <code>plus</code> allowing infix notation must be a function, and take exactly one argument. 
+Such a feature has all the properties and prerogatives of both normal "identifier-dot" notation and infix notation. This allowes invoking <code>plus</code> using either notation: <code>i.plus (j)</code> or <code>i + j</code> . A feature such as <code>plus</code> allowing infix notation must be a function, and take exactly one argument. 
 
 Prefix notation is allowed as well. A function can be declared as <code>opposite alias "-" </code>, with no argument, permitting calls of the form <code>-3</code> rather than <code>(3).opposite</code> .