Terminology tweak