Fixed bug in Diffs.h