Fixed a small bug in the conversion from ocaml to c.