Fix some typos in protocols.txt