Correction to network protocol specs.