Corrected a typo in the protocol specifications.