OCaml fixes