Fix claroline bug on platform badges