Headline is misleading. Quote from the article: "some 3,400 workers who had been targeted for layoffs — an estimated 10 percent of the workforce" 10% doesn't

Headline is misleading. Quote from the article: "some 3,400 workers who had been targeted for layoffs — an estimated 10 percent of the workforce" 10% doesn't meet the traditional usage of the term 'decimate' (as few use the term only when it meets the dictionary definition).