diff --git a/documentation/21.11/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-21.11.wiki b/documentation/21.11/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-21.11.wiki
index 37b97ad8..5969b60d 100644
--- a/documentation/21.11/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-21.11.wiki
+++ b/documentation/21.11/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio-21.11.wiki
@@ -1,4 +1,4 @@
-[[Property:modification_date|Mon, 20 Dec 2021 14:41:52 GMT]]
+[[Property:modification_date|Mon, 20 Dec 2021 14:42:38 GMT]]
 [[Property:publication_date|Tue, 09 Nov 2021 08:30:45 GMT]]
 [[Property:uuid|832C4922-780A-4A17-BA9C-61A9211EF6FF]]
 [[Property:title|Release notes for EiffelStudio 21.11]]
@@ -12,15 +12,15 @@
 ==Compiler==
 * Supported a unified syntax to access loop cursor features inside an iteration form of a loop for both keyword-based and Unicode-based loop variants. The current item is accessed by the cursor name. The cursor feature is accessed by preceding the cursor name with the symbol `@`:
 ```
-∀ x: array ¦ (@ x.target_index \\ 2 = 0 ⇒ x > 0) -- All items at even positions are positive.
+	∀ x: array ¦ (@ x.target_index \\ 2 = 0 ⇒ x > 0) -- All elements at even positions are positive.
  
-	-- Print all elements of a table prefixed with their keys.
-across table as y loop
-	print (@ y.key)
-	print (": ")
-	print (y)
-	io.put_new_line
-end
+		-- Print all elements of a table prefixed with their keys.
+	across table as y loop
+		print (@ y.key)
+		print (": ")
+		print (y)
+		io.put_new_line
+	end
 ```
 * Fixed multiple bugs related to non-conforming inheritance, making the latter usable in production code (note: the semantics of non-conforming inheritance changed by removing automatic replication of inherited features).