diff --git a/test/html/test.ml b/test/html/test.ml
index b998251f26..16c00fdc53 100644
--- a/test/html/test.ml
+++ b/test/html/test.ml
@@ -289,7 +289,7 @@ let source_files_post408 =
 
 let source_files_pre410 = [ ("bugs_pre_410.ml", [ "Bugs_pre_410/index.html" ]) ]
 
-let source_files_stop_dead_link_doc =
+let source_files_post403 =
   [ ("stop_dead_link_doc.mli", [ "Stop_dead_link_doc/index.html" ]) ]
 
 let source_files =
@@ -304,8 +304,7 @@ let source_files =
           (if major = 4 && minor < 10 then source_files_pre410 else []);
           (if major = 4 && minor > 8 then source_files_post408 else []);
           (if major = 4 && minor >= 6 then source_files_post406 else []);
-          ( if major = 4 && minor >= 4 then source_files_stop_dead_link_doc
-          else [] );
+          (if major = 4 && minor >= 4 then source_files_post403 else []);
           source_files_all;
         ]
   | _ -> source_files_all