Terminology tweak for bug #8143.