In the workflow example, is ` Purchaser.purchase` supposed to be `do_purchase`?