trivial re-wording