diff --git a/lib/outputlib.php b/lib/outputlib.php
index 9679120bd4b..cb5e6c9637d 100644
--- a/lib/outputlib.php
+++ b/lib/outputlib.php
@@ -579,7 +579,7 @@ class theme_config {
             foreach ($parent_config->editor_sheets as $sheet) {
                 $sheetfile = "$parent_config->dir/$sheet.css";
                 if (is_readable($sheetfile)) {
-                    $css .= "/*** Parent theme $parent/$sheet ***/\n\n" . file_get_contents($sheetfile) . "\n\n";
+                    $css .= "/*** Parent theme {$parent_config->name}/$sheet ***/\n\n" . file_get_contents($sheetfile) . "\n\n";
                 }
             }
         }