Improve the protocol specification (incorporate Peter's comments).