diff --git editors/tinymce.inc editors/tinymce.inc
index a7250f3..7b99f77 100644
--- editors/tinymce.inc
+++ editors/tinymce.inc
@@ -178,6 +178,7 @@ function wysiwyg_tinymce_settings($editor, $config, $theme) {
     $settings['remove_linebreaks'] = $config['remove_linebreaks'];
   }
   if (isset($config['verify_html'])) {
+    // TinyMCE tests "=== false", so ensure it is a Boolean.
     $settings['verify_html'] = (bool) $config['verify_html'];
   }