Trivial rewording.