workaround for git-gutter bug