Fix the badge (again! :-)