diff --git a/checkin_notes b/checkin_notes
index c79fb579e4..9e8c804b8d 100755
--- a/checkin_notes
+++ b/checkin_notes
@@ -5769,6 +5769,12 @@ Karl 2003/08/15
     sched/
         file_upload_handler.C
 
+Karl 2003/08/15
+    - db_dump: added core_versions.xml; simplified
+
+    sched/
+        db_dump.C
+
 David  Aug 15 2003
     - revised backend logic
         This fixes some bugs and inefficiencies (I hope)
diff --git a/sched/db_dump.C b/sched/db_dump.C
index cf024c5443..b14a694555 100644
--- a/sched/db_dump.C
+++ b/sched/db_dump.C
@@ -397,7 +397,7 @@ void core_versions() {
             fprintf(f,
                     "   <core_version>\n"
                     "      <id>%d</id>\n"
-                    "      <platform id=%d name=\"%s\">%s</platform>\n"
+                    "      <platform id=\"%d\" name=\"%s\">%s</platform>\n"
                     "      <version>%d</version>\n"
                     "      <create_time>%d</create_time>\n"
                     "      <url>%s</url>\n"