binary diff: further updates.