diff --git a/documentation/22.12/eiffel/Tutorials/invitation-eiffel-i2e/i2e-design-contract-and-assertions.wiki b/documentation/22.12/eiffel/Tutorials/invitation-eiffel-i2e/i2e-design-contract-and-assertions.wiki
index 53f3af4a..bcc7ef26 100644
--- a/documentation/22.12/eiffel/Tutorials/invitation-eiffel-i2e/i2e-design-contract-and-assertions.wiki
+++ b/documentation/22.12/eiffel/Tutorials/invitation-eiffel-i2e/i2e-design-contract-and-assertions.wiki
@@ -1,3 +1,5 @@
+[[Property:modification_date|Mon, 23 Jan 2023 08:58:40 GMT]]
+[[Property:publication_date|Mon, 23 Jan 2023 08:58:40 GMT]]
[[Property:title|I2E: Design by Contract and Assertions]]
[[Property:weight|-9]]
[[Property:uuid|f563aa75-3a5a-5110-b4f1-07da5448f668]]
@@ -133,7 +135,7 @@ feature
end -- ACCOUNT
-This is not actual Eiffel, only documentation of Eiffel classes, hence the use of slightly different syntax to avoid any confusion ( interface class rather than class). In accordance with the Uniform Access Principle (in [[I2E: Classes|Classes]]), the output for balance would be the same if this feature were a function rather than an attribute.
+This is not actual Eiffel, only documentation of Eiffel classes, hence the use of slightly different syntax to avoid any confusion ( class interface rather than class). In accordance with the Uniform Access Principle (in [[I2E: Classes|Classes]]), the output for balance would be the same if this feature were a function rather than an attribute.
You will find in EiffelStudio automatic tools to produce the Contract Form of a class. You can also get the '''Flat Contract''' form, based on the same ideas but including inherited features along with those introduced in the class itself. EiffelStudio can produce these forms, and other documentation views of a class, in a variety of output formats including HTML, so that collaborative projects can automatically post the latest versions of their class interfaces on the Internet or an Intranet.