[FIX] Properly initializing members of EdgeStump.