Move pretty printing to the end of diff.jl