PROTOCOL.md: Formatting and typos.