Section was classified to section 193 of former Title 40, prior to the enactment of Title 40, Public Buildings, Property, and Works, by Pub. L. 107–217, § 1,
R.S. § 1820 derived from acts Mar. 30, 1867, ch. 20, § 2, 15 Stat. 12; Apr. 29, 1876, ch. 86, 19 Stat. 41.