Difftools, minor updates