Minor protocol documentation fix