Tidying up of settings.php.