Protocol: more typos