Fix minor formatting issue in man page for git-mergetool