A story about on D1 Thursday misstated the size of the General Mills’ workforce. It employs approximately 35,000 people.