diff --git a/xmllint.c b/xmllint.c
index 797098e3..9c7d4cd6 100644
--- a/xmllint.c
+++ b/xmllint.c
@@ -3501,12 +3501,12 @@ xmllintMain(int argc, const char **argv, FILE *errStream,
                     ctxt = htmlCreatePushParserCtxt(NULL, NULL, NULL, 0,
                                                     filename,
                                                     XML_CHAR_ENCODING_NONE);
-                    htmlCtxtUseOptions(ctxt, lint->options);
                 } else
 #endif /* LIBXML_PUSH_ENABLED */
                 {
                     ctxt = htmlNewParserCtxt();
                 }
+                htmlCtxtUseOptions(ctxt, lint->options);
             } else
 #endif /* LIBXML_HTML_ENABLED */
             {
@@ -3514,12 +3514,12 @@ xmllintMain(int argc, const char **argv, FILE *errStream,
                 if (lint->push) {
                     ctxt = xmlCreatePushParserCtxt(NULL, NULL, NULL, 0,
                                                    filename);
-                    xmlCtxtUseOptions(ctxt, lint->options);
                 } else
 #endif /* LIBXML_PUSH_ENABLED */
                 {
                     ctxt = xmlNewParserCtxt();
                 }
+                xmlCtxtUseOptions(ctxt, lint->options);
             }
             if (ctxt == NULL) {
                 lint->progresult = XMLLINT_ERR_MEM;