Minutes after one White House official said the Trump administration would not appeal a 9th Circuit ruling upholding a temporary stay of the travel ban, White House chief of staff Reince Priebus said the White House is “reviewing all of our options in the court system,” including possibly going to the Supreme Court, reports The Washington Post.

The White House is considering rewriting the executive order barring refugees and citizens of seven Muslim-majority countries from entering the country, according to officials, indicating the administration may try to restore some aspects of the now-frozen travel ban or replace it with other face-saving measures.

The deliberations come after a panel with the U.S. Court of Appeals for the 9th Circuit declined Thursday to immediately reinstate President Trump’s controversial directive. Officials, speaking on the condition of anonymity to discuss internal discussions, said the White House and Justice Department are also mulling whether to ask the full 9th Circuit or the Supreme Court to intervene. Government lawyers could alternatively wage a legal battle in the lower courts to address more squarely whether Trump’s directive violates the constitution.

Still, the White House’s options appear increasingly limited. The 9th Circuit judges indicated some of the administration’s proposed concessions — which presumably could turn into rewrites — don’t go far enough. Government lawyers also cannot undo Trump’s own campaign trail comments about wanting to stop all Muslims from entering the country and his assertion after taking office that Christians would be given priority. That is potentially compelling evidence that even a watered-down order might be intended to discriminate, said Leon Fresco, the deputy assistant attorney general for the Office of Immigration Litigation in President Barack Obama’s Justice Department.

“The problem is this is such a bad case for the government to be making these arguments,” Fresco said.