diff --git a/libraries/server_privileges.lib.php b/libraries/server_privileges.lib.php
index 065de8f5a2..802574508a 100644
--- a/libraries/server_privileges.lib.php
+++ b/libraries/server_privileges.lib.php
@@ -3451,7 +3451,7 @@ function _getTabList($title, $level, $selected)
foreach ($tabs as $tab => $tabName) {
$html_output .= '
';
$html_output .= '
';
$html_output .= '