Minor terminology tweak