and this completes get_keys()