Dallas' historic downtown Old Red Courthouse was evacuated for a short time Tuesday due to a burst steam pipe, Dallas Fire-Rescue says.
According to DFR's Jason Evans, an automatic fire alarm was set off when the pipe burst in the building's basement at about 10 a.m.
Once firefighters determined the cause of the alarm, the matter was turned over to building maintenance and people were allowed back inside the building.
No injuries were reported and normal operations have since resumed at the 123-year-old building.
Built in 1892, the Old Red Courthouse is now the Old Red Museum of Dallas County History & Culture. The museum houses several exhibits and also functions as an event space.