diff --git a/admin/judges_sa.php b/admin/judges_sa.php
index c9363a0..bbc98ad 100644
--- a/admin/judges_sa.php
+++ b/admin/judges_sa.php
@@ -52,7 +52,7 @@ echo "<br />";
 echo i18n("If you get an error like: \"Fatal error:  Maximum execution time of
 30 seconds exceeded...\" you will need to talk to your system admin and have
 them adjust the \"max_execution_time\" variable in the \"php.ini\" file from
-30(seconds) to something larger, like 600 (10 minutes).  And then have them
+30(seconds) to something larger, like 900 (15 minutes).  And then have them
 restart the webserver for the change to take effect");
 echo "<br />";
 echo "<br />";