Fix errors in protocol documentation