--- a/TableOfContents.wiki	Tue Oct 23 22:56:10 2018 +0100
+++ b/TableOfContents.wiki	Tue Oct 23 22:56:26 2018 +0100
@@ -12,7 +12,7 @@
    * [KnownBugs Known bugs]
   * Server
    * [RacerRoomSetup Racer room setup]
-   * [ProtocolNumbers List of protocol numbers]
+   * [ProtocolNumbers Protocol numbers]
   * [BuildingHedgewars Building Hedgewars from source code]
    * [Dependencies Dependencies]
    * [BuildingForAndroid Android]