More clean-up of protocol docs