diff --git a/html/inc/db_ops.inc b/html/inc/db_ops.inc
index bdd66a8d64..f31d784497 100644
--- a/html/inc/db_ops.inc
+++ b/html/inc/db_ops.inc
@@ -313,7 +313,7 @@ function show_failure_result_summary_by_platform() {
             $table_row_background = "000000";
         }
 
-        echo "<tr>"
+        echo "<tr>";
 
         
         echo "<td class=fieldname bgcolor=$table_row_background align=left valign=top>";