some modifications for config.php