It’s not clear whether the omission was intended, but the meaning of a key exchange is dramatically altered as a result.
