Small changes to config.php