Worked on bdd.ml
Minor