diff --git a/docs/repositories/dev.eessi.io.md b/docs/repositories/dev.eessi.io.md
index 9b6e367df..680f5a861 100644
--- a/docs/repositories/dev.eessi.io.md
+++ b/docs/repositories/dev.eessi.io.md
@@ -2,7 +2,7 @@
 
 ## What is `dev.eessi.io`?
 
-`dev.eessi.io` is the development repository of EESSI. With it, developers can build and deploy non-production ready versions of their software to a CernVM-FS repository. 
+`dev.eessi.io` is the development repository of EESSI. With it, developers can deploy pre-release builds of their software to EESSI. 
 This way, development versions of software can easily be tested on systems where the `dev.eessi.io` CernVM-FS repository is available.
 
 On a system with `dev.eessi.io` mounted access is possible with `module use /cvmfs/dev.eessi.io/versions/2023.06/modules/all`. Then, all that is left is