Fixed small bug in settings.php