“United States District Court for the District of Puerto Rico” substituted in text for “District Court of the United States for Puerto Rico” 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 119 of Title 28, which states that “Puerto Rico constitutes one judicial district”.

Provisions similar to those in this section were contained in act Mar. 2, 1901, ch. 812, § 2, 31 Stat. 953.

“Puerto Rico” substituted in text for “Porto Rico” pursuant to act May 17, 1932, which is classified to section 731a of this title.