Small fixes in numeric diff