Fixing a bug with racetimediff in Utils