ocamlot fixes