Typos fixed in protocol.md