Fix duplicate edge Pool crash in the minimally invasive way