Fix errors in protocol.md