Correctify CI badges.