Bug-fix in filtersettings.php