Added reproof dif.