Minor update to the protocol specification