diff --git a/html/ops/index.php b/html/ops/index.php
index 7b8b90f780..ee4cba3acd 100644
--- a/html/ops/index.php
+++ b/html/ops/index.php
@@ -75,9 +75,8 @@ echo "
 	<li><a href='manage_apps.php'>Manage applications</a></li>
 	<li><a href='manage_app_versions.php'>Manage application versions</a></li>
 	<li><a href='mass_email.php'>Send mass email to a selected set of users</a></li>
-	<li><a href=\"forum_repair.php\">Forum repair</a></li>
-	<li><a href=\"repair_validator_problem.php\">Repair a validator problem</a></li>
 	<li><a href=\"problem_host.php\">Email user with misconfigured host</a></li>
+    <li><a href=job_times.php>FLOP count statistics</a>
 	<li><a href=\"cancel_wu_form.php\">Cancel workunits</a></li>
 	<li><form action=\"manage_user.php\">
         <input type=submit value=\"Manage user\"</a>
diff --git a/html/ops/job_times.php b/html/ops/job_times.php
index 550c252152..0801e16a65 100644
--- a/html/ops/job_times.php
+++ b/html/ops/job_times.php
@@ -136,6 +136,11 @@ function analyze($appid, $platformid, $nresults) {
         }
     }
 
+    if (!$n) {
+        echo "No done results for that app";
+        exit;
+    }
+
     ksort($hist);
     show_stats($hist);
     echo "<hr>\n";
@@ -161,6 +166,10 @@ function show_form() {
 if ($_GET['submit']=='OK') {
     set_time_limit(0);
     $appid = $_GET['appid'];
+    if (!$appid) {
+        echo "Must supply an appid";
+        exit;
+    }
     $platformid = $_GET['platformid'];
     $quantum = $_GET['quantum'];
     $nresults = $_GET['nresults'];