little fixes (ocaml didn't work like that)