diff --git a/theme/formal_white/header.html b/theme/formal_white/header.html
index 75f1f1e902e..e57fee1b58d 100644
--- a/theme/formal_white/header.html
+++ b/theme/formal_white/header.html
@@ -17,17 +17,17 @@
-
diff --git a/theme/standardlogo/header.html b/theme/standardlogo/header.html
index c40d200c0eb..2381383034d 100644
--- a/theme/standardlogo/header.html
+++ b/theme/standardlogo/header.html
@@ -37,9 +37,11 @@
} else {
$standardlogo = $CFG->wwwroot.'/theme/'.current_theme().'/logo.gif';
}
+
+ //Accessibility: warning: ALT text will need editing if logo changes.
?>