diff --git a/jetty-distribution/src/main/resources/start.ini b/jetty-distribution/src/main/resources/start.ini
index 8af7fb15e4b..f86cdc81e93 100644
--- a/jetty-distribution/src/main/resources/start.ini
+++ b/jetty-distribution/src/main/resources/start.ini
@@ -13,9 +13,9 @@
 # as arguments, which may be either:
 #  + A property like: name=value
 #  + Activation of an option: OPTION=option
-   + The declaration of a new option: DEFINE=option
-   + An option dependency: DEPEND=option,option
-   + An option exclusion: EXCLUDE=option,option
+#   + The declaration of a new option: DEFINE=option
+#   + An option dependency: DEPEND=option,option
+#   + An option exclusion: EXCLUDE=option,option
 #  + A file of properties like: /etc/myjetty.properties
 #  + An XML configuration file like: etc/jetty-feature.xml
 #  + A start.jar option like: --dry-run