synctool-diff: bug fix in new feature
Merge pull request #38 from onnozweers/patch-3

synctool-diff: bug fix in new feature