Minor changes to the config.php class