diff --git a/configure/os/CONFIG.linux-x86.linux-x86-debug b/configure/os/CONFIG.linux-x86.linux-x86-debug
index 8ba371fc4..b65c5bc80 100644
--- a/configure/os/CONFIG.linux-x86.linux-x86-debug
+++ b/configure/os/CONFIG.linux-x86.linux-x86-debug
@@ -1,4 +1,4 @@
-# CONFIG.linux-x86-debug.linux-x86-debug
+# CONFIG.linux-x86.linux-x86-debug
 #
 # $Id$
 # This file is maintained by the build community.
diff --git a/configure/os/CONFIG.linux-x86_64.linux-x86_64-debug b/configure/os/CONFIG.linux-x86_64.linux-x86_64-debug
index 8ba371fc4..eb3805538 100644
--- a/configure/os/CONFIG.linux-x86_64.linux-x86_64-debug
+++ b/configure/os/CONFIG.linux-x86_64.linux-x86_64-debug
@@ -1,4 +1,4 @@
-# CONFIG.linux-x86-debug.linux-x86-debug
+# CONFIG.linux-x86_64.linux-x86_64-debug
 #
 # $Id$
 # This file is maintained by the build community.