Complying an ocaml warning.
Fixing #3282 (two bugs in the presence of let-in's in "fix").
Fixing #3292 (locations of notations shifted by 1 in glob files in trunk).
Thanks to David M. Cooke on coq-bugs for pointing out one part
of the problem.