diff --git a/engineering-guide/infrastructure_systems.md b/engineering-guide/infrastructure_systems.md
index 3c327e40..e9f442dd 100644
--- a/engineering-guide/infrastructure_systems.md
+++ b/engineering-guide/infrastructure_systems.md
@@ -5,10 +5,11 @@
 ## Core Infrastructure
 * [boot.psi.ch](boot_server.md)  - TFTP server for PXE booting
 * [sysdb.psi.ch](sysdb_server.md) - Runs sysdb, providing the dynamic iPXE, Grub and kickstart files
-* [puppet.psi.ch](puppet_server.md) - puppet.psi.ch - Puppet server
 * [repos.psi.ch](repo_server.md) - Repository server
+* [puppet.psi.ch](puppet_server.md) - puppet.psi.ch - Puppet server
+----
 * [lx-sync-01.psi.ch](sync_server.md) - System to mirror external yum repositories / packages / ...
-
+----
 * [lxweb00](lxweb00) - http://linux.web.psi.ch - __legacy__ - 129.129.190.46 - Exports further repositories from AFS