diff --git a/server/mods-available/monitor_core_module.inc.php b/server/mods-available/monitor_core_module.inc.php
index 0fc02e5558588886fc27cb4f91421f6bf2297f73..8f3376c77bf7d60d4fc7534412726d2bb4f0d6e1 100644
--- a/server/mods-available/monitor_core_module.inc.php
+++ b/server/mods-available/monitor_core_module.inc.php
@@ -181,7 +181,7 @@ class monitor_core_module {
 			$distbaseid = 'gentoo';
 
 		} else {
-			die('unrecognized linux distribution');
+			die('unrecognized Linux distribution');
 		}
 
 		return array('name' => $distname, 'version' => $distver, 'id' => $distid, 'baseid' => $distbaseid);