“Sections 3131 and 3133 of title 40” substituted in text for “the Miller Act (40 U.S.C. 270a)” on authority of Pub. L. 107–217, § 5(c), Aug. 21, 2002, 116 Stat. 1303, the first section of which enacted Title 40, Public Buildings, Property, and Works.