Small bug in edit_cache_config.sh.