Update examples with respect to the recent renaming.