Fixing the badge syntax