fix badges

were still pointing to the old names