WASHINGTON, United States (AFP)—Workers removed President Donald Trump’s name from the facade of the prestigious Kennedy Center in Washington on Saturday — a stinging defeat for the US leader who has eschewed political tradition to affix his name and likeness across public spaces.

The restoration of the performing arts venue’s original name was the culmination of extended legal tussling, with an anti-Trump crowd keeping watch Friday until late night thunderstorms forced construction workers to down tools.

In a legal filing Saturday, the center’s Executive Director Matt Floca said it had “removed all physical signage on the Kennedy Center building and grounds” containing Trump’s name.