Fix for critical bug in arity check.

Blind fix because Coq 8.1 does not compile with Camlp5 6.11 on OCaml 4.01.0.