diff --git a/lib/outputrenderers.php b/lib/outputrenderers.php
index 590f0fc4a0a..043c5c9bb1d 100644
--- a/lib/outputrenderers.php
+++ b/lib/outputrenderers.php
@@ -792,7 +792,9 @@ class core_renderer extends renderer_base {
             if (!isset($CFG->additionalhtmlhead)) {
                 $CFG->additionalhtmlhead = '';
             }
-            $CFG->additionalhtmlhead .= '<meta name="robots" content="noindex" />';
+            if (stripos($CFG->additionalhtmlhead, '<meta name="robots" content="noindex" />') === false) {
+                $CFG->additionalhtmlhead .= '<meta name="robots" content="noindex" />';
+            }
         }
 
         if (!empty($CFG->additionalhtmlhead)) {