Minor style fix for unload_configfile()