diff --git a/css-fonts-3/Fonts.html b/css-fonts-3/Fonts.html
index d2eebc1caf69..f9691dce28da 100644
--- a/css-fonts-3/Fonts.html
+++ b/css-fonts-3/Fonts.html
@@ -6420,7 +6420,7 @@ <h2 class=no-num id=property-index>Property index</h2>
 window.onload = function () {
   if (!("devicePixelRatio" in window && window.devicePixelRatio > 1)) return;
   var i, hiresElements = document.getElementsByClassName("hires");
-  for (i = 0; i &lt; hiresElements.length; i++) {
+  for (i = 0; i < hiresElements.length; i++) {
     var h = hiresElements[i];
     if (h.tagName != "IMG") continue;
     var src = h.getAttribute("src");
diff --git a/css-fonts-3/Overview.html b/css-fonts-3/Overview.html
index b3a6ad6b6c6b..e518c21dec59 100644
--- a/css-fonts-3/Overview.html
+++ b/css-fonts-3/Overview.html
@@ -6414,7 +6414,7 @@ <h2 class=no-num id=property-index>Property index</h2>
 window.onload = function () {
   if (!("devicePixelRatio" in window && window.devicePixelRatio > 1)) return;
   var i, hiresElements = document.getElementsByClassName("hires");
-  for (i = 0; i &lt; hiresElements.length; i++) {
+  for (i = 0; i < hiresElements.length; i++) {
     var h = hiresElements[i];
     if (h.tagName != "IMG") continue;
     var src = h.getAttribute("src");