Uniform correction in diff.jl