a little modification of protocol definition, eliminating some unuseful info