kmhaab, I think the short answer to your question, is generally, "Yes, they need to get a distribution," but without knowing specifically what error is being corrected it's impossible to say for sure. You've cited (Section 6.02) just a general correction principle in 2016-51. If, for example, a bunch of folks didn't get some money in an allocation they were supposed to get, then correction requires they all get it, whether they are still employed by the plan sponsor or not.