The name of former U.S. President Donald Trump has been removed from the John F. Kennedy Center for the Performing Arts in Washington, D.C., following a federal court ruling that declared the naming illegal. The removal took place on Saturday after the court’s decision, with workers taking down all signs bearing Trump’s name from the building and its surroundings, according to the center’s executive director Matt Floca.

The Kennedy Center’s board had attempted to block the removal through a last-minute appeal, but the judge rejected the request. The ruling, issued on May 29 by U.S. District Judge Christopher Cooper, stated that only Congress has the authority to rename a national institution. The decision is viewed as a setback for the Trump administration, which had sought to attach Trump’s name to several public facilities after his return to the White House.

Crowds gathered outside the center on Friday night to witness the removal, with many expressing approval. Despite delays caused by thunderstorms, the work was completed under safety precautions, and the center had already deleted Trump’s name from its website earlier in the week.