Fix base coverage badge link in summary.