Bugfix inside TinyMCE include.php