Updated at 1:35 p.m.: Revised to include additional information from Atmos about the work it was performing.

Atmos Energy briefly shut off gas service to two north Oak Cliff schools this week as a precaution while crews performed repairs nearby.

The natural-gas utility said it briefly shut off service to Hector P. Garcia Middle School and Trinity Basin Preparatory, near North Ewing Avenue and East Eighth Street, Tuesday morning "as an added safety precaution" while doing safety checks of their systems.

Students remained in class during the outage, and gas service was restored a short time later.

KDFW-TV (Channel 4) reported that crews were working to repair a leak in that area Wednesday, but Atmos said workers were performing routine maintenance.

Atmos has shut off gas to nearly 3,000 customers in northwest Dallas for up to three weeks as it replaces steel pipes following a house explosion that killed a 12-year-old girl.