Bugfix inside save_settings.php.