synctool-diff: bug fix in new feature