typos and minor remarks

Remarks on the Frama-C section