Fix a few typos in Coccinelle's manual.