Correction to settings.php