Fix alarmsBadge bug