diff --git a/application/core/Server/RankingManager.php b/application/core/Server/RankingManager.php
index e6014ae8..bca182fb 100644
--- a/application/core/Server/RankingManager.php
+++ b/application/core/Server/RankingManager.php
@@ -114,6 +114,7 @@ class RankingManager implements CallbackListener {
 			if ($prev !== -1 && $prev < $score) {
 				return $leaders;
 			}
+			// FIXME: $leader doesn't exist
 			array_push($leaders, $leader);
 			$prev = $score;
 		}