Fixed a couple typos in settings.inc.php