Fix openbadges javascript