diff --git a/nuweb.w b/nuweb.w
index aefdb83..326c4c6 100644
--- a/nuweb.w
+++ b/nuweb.w
@@ -1378,7 +1378,7 @@ is forced when generating HTML.
       int saved_number_flag = number_flag;
       number_flag = TRUE;
       collect_numbers(aux_name);
-      write_html(source_name, tex_name, 0/*Dummy */);
+      write_html(source_name, tex_name);
       number_flag = saved_number_flag;
     }
     else {