diff --git a/en_US.ISO8859-1/htdocs/cgi/man.cgi b/en_US.ISO8859-1/htdocs/cgi/man.cgi
index 3f599f3252..623307c8bb 100755
--- a/en_US.ISO8859-1/htdocs/cgi/man.cgi
+++ b/en_US.ISO8859-1/htdocs/cgi/man.cgi
@@ -595,17 +595,17 @@ $manPathDefault = 'FreeBSD 12.0-RELEASE and Ports';
     '4.4BSD Lite2', "$manLocalDir/4.4BSD-Lite2",
 
     'Linux Slackware 3.1',    "$manLocalDir/Slackware-3.1",
-    'Red Hat Linux/i386 4.2', "$manLocalDir/RedHat-4.2",
-    'Red Hat Linux/i386 5.0', "$manLocalDir/RedHat-5.0",
-    'Red Hat Linux/i386 5.2', "$manLocalDir/RedHat-5.2-i386",
-    'Red Hat Linux/i386 6.1', "$manLocalDir/RedHat-6.1-i386",
-    'Red Hat Linux/i386 6.2', "$manLocalDir/RedHat-6.2-i386",
-    'Red Hat Linux/i386 7.0', "$manLocalDir/RedHat-7.0-i386",
-    'Red Hat Linux/i386 7.1', "$manLocalDir/RedHat-7.1-i386",
-    'Red Hat Linux/i386 7.2', "$manLocalDir/RedHat-7.2-i386",
-    'Red Hat Linux/i386 7.3', "$manLocalDir/RedHat-7.3-i386",
-    'Red Hat Linux/i386 8.0', "$manLocalDir/RedHat-8.0-i386",
-    'Red Hat Linux/i386 9',   "$manLocalDir/RedHat-9-i386",
+    'Red Hat 4.2', "$manLocalDir/RedHat-4.2",
+    'Red Hat 5.0', "$manLocalDir/RedHat-5.0",
+    'Red Hat 5.2', "$manLocalDir/RedHat-5.2-i386",
+    'Red Hat 6.1', "$manLocalDir/RedHat-6.1-i386",
+    'Red Hat 6.2', "$manLocalDir/RedHat-6.2-i386",
+    'Red Hat 7.0', "$manLocalDir/RedHat-7.0-i386",
+    'Red Hat 7.1', "$manLocalDir/RedHat-7.1-i386",
+    'Red Hat 7.2', "$manLocalDir/RedHat-7.2-i386",
+    'Red Hat 7.3', "$manLocalDir/RedHat-7.3-i386",
+    'Red Hat 8.0', "$manLocalDir/RedHat-8.0-i386",
+    'Red Hat 9',   "$manLocalDir/RedHat-9-i386",
 
     'CentOS 3.9', "$manLocalDir/CentOS-3.9",
     'CentOS 4.8', "$manLocalDir/CentOS-4.8",
@@ -861,7 +861,7 @@ while ( ( $key, $val ) = each %manPath ) {
     'freebsd-ports', 'FreeBSD Ports 12.0',
 
     'slackware',  'Linux Slackware 3.1',
-    'redhat',     'Red Hat Linux/i386 9',
+    'redhat',     'Red Hat 9',
     'suse',       'SuSE 11.3',
     'debian',     'Debian 7.7.0',
     'centos',     'CentOS 7.1',