small fix to difference

in Leaf