Correction to CollapseTunnels