small change in config_global.php