President Donald Trump has put aside an executive order that would have empowered the federal government to take over Washington, D.C. — for now.

Trump’s decision coincides with District of Columbia Mayor Muriel Bowser‘s apparent political moderation in recent weeks, from announcing the district would be removing the Black Lives Matter mural across from the White House and clearing out homeless encampments, in addition to scrubbing information about being a sanctuary city from its website.