Restore the old name, which was more meaningful and consistent with the
names of the other examples.