diff --git a/index.php b/index.php
index 5cb07bfe56c..7ca2528c8b7 100644
--- a/index.php
+++ b/index.php
@@ -94,7 +94,9 @@
                 echo '</font></p>';
             }
 
-            echo format_text($section->summary, FORMAT_HTML);
+            $options = NULL;
+            $options->noclean = true;
+            echo format_text($section->summary, FORMAT_HTML, $options);
 
             if ($editing) {
                 $streditsummary = get_string('editsummary');