Support: small fixes in OCamlPro