Fix a tiny issue in the protocol