Fix for unfortunate naming of merge tool label.