clarified some things in PROTOCOL.md