This was NOT a major setback for the Trump administration