protocol.md: typo