Advancement "adventure/trade" uses criteria named "shot_arrow"

The advancement minecraft:adventure/trade has a single criterion with a single trigger, trading with a villager. However, that criterion is called shot_arrow for some reason (probably because it was copy-pasted from minecraft:adventure/shoot_arrow, haha!)