(fix) Update example for alloy renaming.