diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt
index c74d4d7ae..ba02956aa 100644
--- a/infer/man/man1/infer-full.txt
+++ b/infer/man/man1/infer-full.txt
@@ -1928,7 +1928,7 @@ INTERNAL OPTIONS
            (Conversely: --no-write-dotty)
 
        --write-html
-           Activates: Produce hmtl debug output in the results directory
+           Activates: Produce html debug output in the results directory
            (Conversely: --no-write-html)
 
        --write-html-whitelist-regex +string
diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
index c3fb31220..628e7635a 100644
--- a/infer/src/base/Config.ml
+++ b/infer/src/base/Config.ml
@@ -1051,7 +1051,7 @@ and ( bo_debug
   and trace_error =
     CLOpt.mk_bool ~long:"trace-error" "Detailed tracing information during error explanation"
   and write_html =
-    CLOpt.mk_bool ~long:"write-html" "Produce hmtl debug output in the results directory"
+    CLOpt.mk_bool ~long:"write-html" "Produce html debug output in the results directory"
   and write_dotty =
     CLOpt.mk_bool ~long:"write-dotty" "Produce dotty files for specs in the results directory"
   in