diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/syntax-level-variant-settings-version.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/syntax-level-variant-settings-version.wiki
index 53beb46c..e52e8a61 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/syntax-level-variant-settings-version.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/syntax-level-variant-settings-version.wiki
@@ -33,7 +33,7 @@ The options are distinguished by how the compiler handles the processing of cert
 {| border="1" style="border-collapse: collapse; border-style: solid;"
 |+ '''Constructs affected by the ''syntax'' project setting'''
 ! rowspan="2" style="valign: center;" | Release
-! colspan="4" | Option value
+! colspan="4" | Setting value
 |-
 ! Obsolete !! Transitional !! Standard !! Provisional
 |-
diff --git a/documentation/current/method/eiffel-tutorial-et/et-inheritance.wiki b/documentation/current/method/eiffel-tutorial-et/et-inheritance.wiki
index d9c0e2b0..82e4f27e 100644
--- a/documentation/current/method/eiffel-tutorial-et/et-inheritance.wiki
+++ b/documentation/current/method/eiffel-tutorial-et/et-inheritance.wiki
@@ -344,7 +344,7 @@ Some deferred classes describe a structural property, useful to the description
 
 For such classes it is again essential to permit effective features in a deferred class, and to include assertions. For example class <code>COMPARABLE</code> declares <code>infix "<"</code> as deferred, and expresses <code>>, >=</code> and <code><=</code> effectively in terms of it. 
 
-{{note|The type <code>like Current</code> will be explained in [[ET: Inheritance#Covariance_and_anchored_declarations|"Covariance and anchored declarations"]] ; you may understand it, in the following class, as equivalent to <code>COMPARABLE</code>. }}
+{{note|The type <code>like Current</code> will be explained in [[ET: Inheritance#Covariance, anchored declarations, and "catcalls"|"Covariance, anchored declarations, and "catcalls""]] ; you may understand it, in the following class, as equivalent to <code>COMPARABLE</code>. }}
 <code>
 note
     description: "Objects that can be compared according to a total preorder relation"