Fix for ScriptFilter.php