diff --git a/progs/convert/html/tmhtml.scm b/progs/convert/html/tmhtml.scm
index 7302cca..d291a92 100644
--- a/progs/convert/html/tmhtml.scm
+++ b/progs/convert/html/tmhtml.scm
@@ -1082,8 +1082,7 @@
            (string-append (tmhtml-suffix (substring s 0 sep))
                           (string-drop s sep)))
           ((string-ends? s ".tm")
-           (string-append (string-drop-right s 3)
-                          (if tmhtml-mathml? ".xhtml" ".html")))
+           (string-append (string-drop-right s 3) ".html"))
           ((string-ends? s ".texmacs")
            (string-append (string-drop-right s 8) ".tm"))
           (else s))))