Better comments in the protocol specification.