small fixes to diffindiff.ado