fix small bug in ocaml rule