clean up <= in protocol.md