diff --git a/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/index.wiki b/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/index.wiki
index 2d56a794..e202cff8 100644
--- a/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/index.wiki
+++ b/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/index.wiki
@@ -1,7 +1,7 @@
 [[Property:title|Void-safe programming in Eiffel]]
 [[Property:weight|10]]
 [[Property:uuid|a03568e8-eb79-70d7-04a3-6fd3ed7ac2b3]]
-=About void-safe software development using Eiffel=
+=Void-safe software development using Eiffel: introduction=
 
 When you develop software in Eiffel, you can be assured (at compile time) that your system will not attempt (at run time) to apply a feature to a void reference -- or, in the terminology of other languages such as C, "dereference a null pointer".