choosers/jump: fix docs after API change