diff --git a/html/ops/result_summary.php b/html/ops/result_summary.php
index b2c2d52fec..2793d2d072 100644
--- a/html/ops/result_summary.php
+++ b/html/ops/result_summary.php
@@ -2,7 +2,7 @@
 
     // show summary of results that have been received or timed out recently
 
-    require_once("util.inc");
+    require_once("util_ops.inc");
 
     db_init();
     page_head("Result summary");