diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/debugger/expression-evaluation/index.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/debugger/expression-evaluation/index.wiki
index 8fdf3f80..1b13daca 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/debugger/expression-evaluation/index.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/debugger/expression-evaluation/index.wiki
@@ -18,7 +18,7 @@ If the expression has an error, or if the evaluation raised an exception, you ca
 
 {{caution|Eiffel ''agents'' (for example: <code>agent my_function</code>) are not supported is not supported. }}
 
-{{caution|The evaluation ignores void-safety checking, a side effect is that expression "{FOO}" is interpreted as "{detachable FOO}" even if your application is void-safe. Thus keep this in mind when your expression implies TYPE objects. }}
+{{caution|The evaluation ignores void-safety checking, a side effect is that expression <code>{FOO}</code> is interpreted as <code>{detachable FOO}</code> even if your application is void-safe. Thus keep this in mind when your expression implies <code>TYPE</code> objects. }}
 
 
 {{caution|Currently, for classic Eiffel systems, evaluating <code>Precursor</code> will result the current feature's result (not the precursor). }}
diff --git a/documentation/current/method/eiffel-tutorial-et/et-instructions.wiki b/documentation/current/method/eiffel-tutorial-et/et-instructions.wiki
index 58e7eff3..02d09fed 100644
--- a/documentation/current/method/eiffel-tutorial-et/et-instructions.wiki
+++ b/documentation/current/method/eiffel-tutorial-et/et-instructions.wiki
@@ -171,7 +171,7 @@ And finally, there's the ''End'' part:
 
 ====A closer look at the ''iteration'' form====
 
-Now let's examine the iteration form used in ''Loop example 2.''
+Now let's examine the iteration form (sometimes called the "across syntax") used in ''Loop example 2.''
 
 The example begins with an iteration part: