protocol.md: fix anchors