diff -r 2093cbe1133e -r 305cee3b388d list_supermasters.php
--- a/list_supermasters.php	Mon Jun 04 19:04:55 2007 +0000
+++ b/list_supermasters.php	Tue Jun 05 22:40:47 2007 +0000
@@ -14,16 +14,7 @@
 {
 
 	$supermasters = get_supermasters(0);
-	$num_supermasters = count($supermasters);
-	if ($supermasters < 0)
-	{
-		$num_supermasters = "0";
-	}
-	else
-	{
-		$num_supermasters = count($supermasters);
-	}
-
+	$num_supermasters = ($supermasters == -1) ? 0 : count($supermasters);
 	?>
 
 	   <h3><? printf(_('List all %s supermasters'), $num_supermasters); ?></h3>