diff --git a/docs/src/main/asciidoc/http-reference.adoc b/docs/src/main/asciidoc/http-reference.adoc
index ba26f0b9717f1e..aa68e636a3b148 100644
--- a/docs/src/main/asciidoc/http-reference.adoc
+++ b/docs/src/main/asciidoc/http-reference.adoc
@@ -445,7 +445,7 @@ Use `quarkus.http.access-log.exclude-pattern=/some/path/.*` to exclude all entri
 == Arbitrary customizations
 
 Quarkus allows users to arbitrarily customize the options of HTTP server(s) that is(are) started by Quarkus via the use of `io.quarkus.vertx.http.HttpServerOptionsCustomizer`.
-For example, the HTTP port needs to be set programmatically, then the following code could be used:
+For example, if the HTTP port needs to be set programmatically, then the following code could be used:
 
 [source,java]
 ----