Waha pipeline repairs hit crude output