Corrigendum: weakest failure detector for wait-free dining under eventual weak exclusion

This corrigendum corrects and clarifies our remarks in [2] from SPAA 2009 about the related work in [1] regarding the status of ◊P as the weakest failure detector for boosting obstruction-freedom to wait-freedom.