Protocol-doc: Add missing "args" specifiers