diff --git a/docs/README.md b/docs/README.md
index d9e775746..04940aadf 100644
--- a/docs/README.md
+++ b/docs/README.md
@@ -2,7 +2,7 @@ Stainless consists of several sbt projects.
 
 The core verifier sources are in `core/src/scala`.
 
-There are separate front ends for Scala 3 (primary one), Scala 2, and sbt.
+There is a front end for Scala 3, as well as an sbt plugin (which also compiles and eliminates ghost code).
 
 The documentation from user's point of view is in `core/src/sphinx`.