diff --git a/docs/admin-guide/puppet/index.md b/docs/admin-guide/puppet/index.md
index eb836444..e013012c 100644
--- a/docs/admin-guide/puppet/index.md
+++ b/docs/admin-guide/puppet/index.md
@@ -1,5 +1,3 @@
 # Puppet
 
-[Puppet](https://puppet.com/docs/puppet) is the *configuration management system* used to configure our nodes at PSI.
-
-Our [Puppet Dashboard](https://puppet.psi.ch/puppetboard) gives an overview over all systems managed using Puppet at PSI.
+[Puppet](https://puppet.com/docs/puppet) is the *configuration management system* used to configure Linux systems at PSI. The [Puppet Dashboard](https://puppet.psi.ch/puppetboard) gives an overview over all systems managed by Puppet.