Fixed bugs in settings.php