Update ProtocolSpec.md