A bug in retrieve_config()