Correction: The plaintiffs in the case did not seek to change the ruling with regards North Korean and Venezuela. U.S. officials said those restrictions will continue as planned, starting on Wednesday, according to Politico. 

An Executive Order (EO) by U.S. President Donald Trump which barred citizens from several countries – including North Korea – from visiting the United States was blocked by a federal court on Tuesday.

The EO, which was announced on September 24, was the President’s third attempt to tighten controls at the U.S. border, but was blocked by a federal judge a day before it was set