--- a/ProtocolNumbers.wiki	Tue Oct 23 22:59:20 2018 +0100
+++ b/ProtocolNumbers.wiki	Tue Oct 23 22:59:39 2018 +0100
@@ -10,7 +10,7 @@
 
 E.g. the development version before 0.9.24 is 0.9.24-dev.
 
-Since 0.9.25-dev, you can run “hwengine --protocol” in the commandline to get the current protocol number of your installed Hedgewars.
+Since 0.9.25-dev, you can run “`hwengine --protocol`” in the commandline to get the current protocol number of your installed Hedgewars.
 
 == List of protocol numbers ==