minor change to en/settings.php