Correction

Because of an editing error, a story in Friday’s edition of The Washington Examiner misstated the number of D.C. Public Schools teachers fired in early October. In fact, 229 teachers and 159 school staff members lost their jobs.