more work on OCaml doc