Fix coverage badge.