Fix for settings.php