diff --git a/documentation/23.09/solutions/dotnet/eiffel-net-language/eiffel-net-integration/Eiffel-for-.NETCore-execution.wiki b/documentation/23.09/solutions/dotnet/eiffel-net-language/eiffel-net-integration/Eiffel-for-.NETCore-execution.wiki
index 9974c722..dfd0d171 100644
--- a/documentation/23.09/solutions/dotnet/eiffel-net-language/eiffel-net-integration/Eiffel-for-.NETCore-execution.wiki
+++ b/documentation/23.09/solutions/dotnet/eiffel-net-language/eiffel-net-integration/Eiffel-for-.NETCore-execution.wiki
@@ -1,10 +1,12 @@
-[[Property:modification_date|Mon, 02 Oct 2023 10:04:22 GMT]]
+[[Property:modification_date|Mon, 02 Oct 2023 10:06:45 GMT]]
 [[Property:publication_date|Mon, 02 Oct 2023 10:00:56 GMT]]
 [[Property:uuid|1838ECEC-F411-46C7-926B-204ED0ACD0C6]]
 [[Property:weight|0]]
 [[Property:title|Eiffel for .NETCore execution]]
 [[Property:link_title|NETCore execution]]
 
+__TOC__
+
 At the moment, the EiffelStudio '''debugger has no support''' Eiffel .NET Core.
 
 It is, however, possible to execute most of the Eiffel .NET Core application from the IDE using the `Run` command. The execution will be outside EiffelStudio.
@@ -16,7 +18,7 @@ It is, however, possible to execute most of the Eiffel .NET Core application fro
 {{info|Read more about the `dotnet` tool, and especially the `run` command at [https://learn.microsoft.com/fr-fr/dotnet/core/tools/dotnet-run] .}}
 
 To help the user, the EiffelStudio compiler also generates (in W_code or F_code directories) a C# wrapper project. See the `wrapper_*.cs` and `wrapper_*.csproj` files.
-This "wrapper" project will be useful for specific execution, but also [[#Publishing|publishing]] the executable, or even '''debugging''' using VisualStudio. See the next sections for more information.
+This "wrapper" project will be useful for specific execution, but also [[#Publishing|publishing]] the executable, or even [[#Debugging_in_VisualStudio|debugging]] using VisualStudio. See the next sections for more information.
 
 ==Publishing==
 This '''wrapper''' project is helpful to '''publish''' the executable to the current or other platforms, and have an executable that does not require the `dotnet` command. It is also possible to include all dependencies (i.e: self contained) to ease deployment on machine without any dotnet runtime installed.