diff --git a/mod/resource/details.php b/mod/resource/details.php
index 8cc15652196..41d4a7686f0 100644
--- a/mod/resource/details.php
+++ b/mod/resource/details.php
@@ -214,7 +214,7 @@
         </center>
         </form>
 <?
-        if ($usehtmleditor) {
+        if ($usehtmleditor and $form->type == HTML) {
             print_richedit_javascript("theform", "alltext", "yes");
         }
         print_simple_box_end();