Update ProtocolSpecification.md