Tweak PROTOCOL.md.