diff --git a/server/lib/classes/monitor_tools.inc.php b/server/lib/classes/monitor_tools.inc.php
index 42c479fb53fa029250830960ea81d8db85a1e1c7..5d2a402de71a151af081c0190a0938b50b8f93af 100644
--- a/server/lib/classes/monitor_tools.inc.php
+++ b/server/lib/classes/monitor_tools.inc.php
@@ -285,7 +285,6 @@ class monitor_tools {
 			} else {
 				$distid = 'centos72';
 			}
-			swriteln("Operating System: CentOS $var\n");
 		} else {
 			$distname = 'Redhat';
 			$distver = 'Unknown';