diff --git a/rstudio1.md b/rstudio1.md
index 1a964163fc8950ae49e7337e893d46e7f62afd64..d8c1b7f3411d3d20ae3d63c43318c2c11c5144be 100644
--- a/rstudio1.md
+++ b/rstudio1.md
@@ -44,7 +44,7 @@ You will be asked to enter your password again and afterwards your network home
 
 
 ## Packages
-Many R packages are installed already via the system's package management and many more are available via the same track. This is the preferred way to install R packages, as it avoids duplicate installations per user, removes the need for manual package updates and helps that underlying libraries and packages are compatible with each other.
+Many R packages are installed already via the system's package management and many more are available via the same track. This is the preferred way to install R packages, as it avoids duplicate installations per user, removes the need for manual package updates and helps that underlying libraries and packages are compatible with each other. Currently there are >3500 packages installed—check with `installed.packages()` for more details.
 
 Of course you can still install packages via R's own functions (install.packages, devtools, …) if there is the need for it. Long term please drop a note to it-suppot@idiv.de so that we can install the package via the system.