Add a notive in ot.ml
Diff is now working