diff --git a/docs/leaderboards/index.md b/docs/leaderboards/index.md
index 41a136df2..c9a01359d 100644
--- a/docs/leaderboards/index.md
+++ b/docs/leaderboards/index.md
@@ -4,13 +4,11 @@
 
 Aider works best with LLMs which are good at *editing* code, not just good at writing
 code.
-Aider's system prompt directs the LLM on how to modify existing code in your local git
-repository.
 To evaluate an LLM's editing skill, aider uses a pair of benchmarks that
-assess their ability to consistently follow these instructions and successfully edit code.
+assess their ability to consistently follow the system instructions
+to successfully edit code.
 
-The leaderboards below report the results from a number of popular LLMs,
-to help users select which models to use with aider.
+The leaderboards below report the results from a number of popular LLMs.
 While [aider can connect to almost any LLM](/docs/llms.html),
 it works best with models that score well on the benchmarks.