difftool: fix bug when printing usage