The words “the District Court of the United States for the District of Columbia” following “The District Courts of the United States” omitted as superfluous in view of section 132(a) of Title 28, Judiciary and Judicial Procedure, which states that “There shall be in each judicial district a district court which shall be a court of record known as the United States District Court for the district” and section 88 of title 28 which states that “The District of Columbia constitutes one judicial district”.

“Sections 1254, 1291, and 1292 of title 28” substituted in text for “sections 128 and 240 of the Judicial Code, as amended [28 U.S.C. 225 and 347]” on authority of act June 25, 1948, ch. 646, 62 Stat. 869, the first section of which enacted Title 28.

A prior section 24 of act June 21, 1938, was renumbered section 26 and is classified to section 717w of this title.