fix the coverage badge by switching to the difference branch in the URL.