Fix name error in get_bucket; too many changes at once