tweak ocamlot section